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.

Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications

Thumbnail Image
Download
Name

MIT-LCS-TR-619.pdf

Size

4.85 MB

Format

Adobe PDF

Checksum (MD5)

738f7d922cc6aa9bdd538caaa3ab9717

Author(s)
Tan, Yang Meng
Date Issued
June 1994
Series/Report no.
MIT-LCS-TR-619
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.