Modelling systems: practical tools and techniques in software development
Auteur :
Fitzgerald, John / Larsen, Peter Gorm
Éditeur :
Cambridge University Press
ISBN :
9780521899116
Date de publication :
11 juin 2009
Dimensions :
25,3 x 17,7 x 2,0 cm
Poids :
690 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with industry-strength tool support and examples derived from commercial applications. This updated second edition includes advanced online tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications.