Algebraic specification techniques in object oriented programming environments
Auteur :
Breu, Ruth
Éditeur :
Breu, Ruth
ISBN :
9783540549727
Date de publication :
4 déc. 1991
Dimensions :
23,3 x 15,5 x 1,3 cm
Poids :
780 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This monograph presents a formal foundation for the integrated design of object-oriented computer programs with algebraic specification techniques. It examines the development of a design method supporting the structured design and reuse of software in this environment.