Construction and analysis of transition systems with mec
Auteur :
Arnold, A.
Éditeur :
Arnold, A.Begay, D.,Crubille, P.,
ISBN :
9789810219222
Date de publication :
12 janv. 1994
Dimensions :
22,0 cm
Langue :
Anglais
Pays d'origine :
Singapour
This text focuses on a formal software engineering method concerning the early stages of design: the modelling at a conceptual level, and the verification and validation of this model. An introduction to the ""Mec"" software tool, which is used to work out the exmples provided, is also included.