Formal specification techniques for engineering modular C programs

by Tan, Yang Meng.

Software is difficult to develop, maintain, and reuse. Two contributing factors to this difficulty are the lack of modular design and good program documentation. The lack of modular design in softw…