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
(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 ...
