Software engineering with obj: algebraic specification in action
Auteur :
Goguen, Joseph A.
ISBN :
9780792377573
Date de publication :
1 janv. 2000
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
796 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
An introduction to OBJ, the widely used algebraic specification system. This book provides case studies, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a variety of ways to achieve a variety of practical aims in the system development process.