We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

A Two-tiered Approach to Specifying Programs

Thumbnail Image
Download
Name

MIT-LCS-TR-299.pdf

Size

5.1 MB

Format

Adobe PDF

Checksum (MD5)

664ddeb10e7dc197cda62e7a69a46fd6

Author(s)
Marie Wing, Jeannette
Advisor(s)
Guttag, John V.
Date Issued
May 1983
Series/Report no.
MIT-LCS-TR-299
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.