Kimberley M. Proudlock

• Controlling the software development process through the techniques of software process modelling and formalmethods