Browsing by Author "Paige, Richard F."
Now showing items 1-1 of 1
-
Putting formal specifications under the magnifying glass: Model-based testing for validation
Aydal, Emine G.; Paige, Richard F.; Utting, Mark; Woodcock, Jim (IEEE Computer Society, 2009)A software development process is effectively an abstract form of model transformation, starting from an end-user model of requirements, through to a system model for which code can be automatically generated. The success ...
Co-authors for Richard F. Paige
Richard F. Paige has 3 co-authors in Research Commons.