dc.contributor.author | Tan, Yang Meng | en_US |
dc.date.accessioned | 2023-03-29T15:22:33Z | |
dc.date.available | 2023-03-29T15:22:33Z | |
dc.date.issued | 1994-06 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149770 | |
dc.description.abstract | 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. | en_US |
dc.relation.ispartofseries | MIT-LCS-TR-619 | |
dc.title | Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications | en_US |