A Formalization of the State Machine Specification Technique

Author(s)
Principato, Robert N., Jr.
Thumbnail
DownloadMIT-LCS-TR-202.pdf (4.142Mb)
Advisor
Liskov, Barbara H.
Metadata
Show full item record
Abstract
This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules.
Date issued
1978-07
URI
https://hdl.handle.net/1721.1/149490
Series/Report no.
MIT-LCS-TR-202
Collections