Algebraic specification techniques and tools for software development: the act approach
Auteur :
Ehrig, Hartmut
Éditeur :
Ehrig, Hartmutetc.,Fey, Werner,
ISBN :
9789810212278
Date de publication :
11 janv. 1993
Dimensions :
22,0 x 16,2 x 1,9 cm
Poids :
485 g
Langue :
Anglais
Pays d'origine :
Singapour
Explains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies.