The Use of Precise Specification in the Development of Software

D. Parnas
Abstract:
What problem does this paper attempt to address?