A Formalization of the State Machine Specification Technique

Thumbnail Image
Download
Name

MIT-LCS-TR-202.pdf

Size

4.14 MB

Format

Adobe PDF

Checksum (MD5)

82c7ae5159d5e98fc8f346bcacb6552c

Author(s)
Principato, Robert N., Jr.
Advisor(s)
Liskov, Barbara H.
Date Issued
July 1978
Series/Report no.
MIT-LCS-TR-202
Abstract
This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.