A Two-tiered Approach to Specifying Programs
| dc.contributor.advisor | Guttag, John V. | en_US |
| dc.contributor.author | Marie Wing, Jeannette | en_US |
| dc.date.accessioned | 2023-03-29T15:09:29Z | |
| dc.date.available | 2023-03-29T15:09:29Z | |
| dc.date.issued | 1983-05 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149575 | |
| dc.description.abstract | Current research in specifications is beginning to emphasize the practical use of formal specifications in program design. This thesis presents a specification approach, a specification language that supports that approach, and some ways to evaluate specifications written that language. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-299 | |
| dc.title | A Two-tiered Approach to Specifying Programs | en_US |
| dc.identifier.oclc | 17658440 |
