Formal Specification Techniques for Engineering Modular C Programs

by Yang Meng Tan

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…