Formal Specification Techniques for Engineering Modular C Programs /

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. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. F...

Full description

Bibliographic Details

Main Author:	Tan, Yang Meng
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1996.
Series:	Springer International Series in Software Engineering ; 1.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book