Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications
Author(s)
Tan, Yang Meng![Thumbnail](/bitstream/handle/1721.1/149770/MIT-LCS-TR-619.pdf.jpg?sequence=3&isAllowed=y)
DownloadMIT-LCS-TR-619.pdf (4.848Mb)
Metadata
Show full item recordAbstract
This thesis presents three ideas. First, it presents a novel use of formal specification to promote a programming style based on specified interfaces and data abstraction in a programming language that lacks such supports. Second, it illustrates the uses of claims about specifications.
Date issued
1994-06Series/Report no.
MIT-LCS-TR-619