A Formalization of the State Machine Specification Technique

Principato, Robert N., Jr.

A Formalization of the State Machine Specification Technique

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

https://hdl.handle.net/1721.1/149490