Publisher: Springer; 1996 edition (November 30, 1995)
Format: PDF / Kindle / ePub
Size: 8.8 MB
Downloadable formats: PDF
software program is tough to improve, continue, and reuse. elements that give a contribution to this hassle are the shortcoming of modular layout and sturdy software documentation. the 1st makes software program alterations tougher to enforce. the second one makes courses extra obscure and to take care of. Formal Specification recommendations for Engineering Modular C courses describes a unique method of selling application modularity. The e-book provides a proper specification language that promotes software program modularity by utilizing summary information varieties, although the underlying programming language won't have such help. This language is dependent to permit precious details to be extracted from a specification, that's then used to accomplish consistency exams among the specification and its implementation. Formal Specification recommendations for Engineering Modular C courses additionally describes a specification-driven, software program re-engineering method version for making improvements to latest courses. the purpose of this approach is to make current courses more uncomplicated to keep up and reuse whereas holding their crucial functionalities unchanged. viewers: compatible as a secondary textual content for graduate point classes in software program engineering, and as a reference for researchers and practitioners in undefined.