Browsing by Author "Woodcock, Jim"
Now showing items 1-2 of 2
-
A Comparison of State-Based Modelling Tools for Model Validation
(Springer, 2008)In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular ... -
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 ...
