Formal engineering for industrial software development: using the sofl method
Auteur :
Liu, Shaoying
Éditeur :
Liu, Shaoying
ISBN :
9783540206026
Date de publication :
13 avr. 2004
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1730 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
Liu advocates incorporation of mathematical notation into the software engineering process, thus substantially improving rigour, comprehensibility & effectiveness of methods commonly used in industry. Provides an introduction to the SOFL (Structured Object- Oriented Formal Language) method. Exercises and case study.