Software is difficult to develop, maintain, and reuse. One contributing factor is the lack of modular design. A related issue is the lack of good program documentation. The lack of modular design in software makes software changes more difficult to implement. The lack of good program documentation makes programs more difficult to understand and to maintain.
KeywordsProgramming Language Specification Language Proof Obligation Abstract Machine Abstract Type
Unable to display preview. Download preview PDF.