Formal specification techniques for engineering modular c programs
Auteur :
Tan Yang Meng
Éditeur :
Tan Yang Meng
ISBN :
9780792396536
Date de publication :
1 nov. 1995
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
1110 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. This title describes a novel approach to promoting program modularity.