A Formalization of the State Machine Specification Technique
This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules.
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149490 |
| _version_ | 1826216065676345344 |
|---|---|
| author | Principato, Robert N., Jr. |
| author2 | Liskov, Barbara H. |
| author_facet | Liskov, Barbara H. Principato, Robert N., Jr. |
| author_sort | Principato, Robert N., Jr. |
| collection | MIT |
| description | This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules. |
| first_indexed | 2024-09-23T16:41:45Z |
| id | mit-1721.1/149490 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T16:41:45Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494902023-03-30T03:04:16Z A Formalization of the State Machine Specification Technique Principato, Robert N., Jr. Liskov, Barbara H. This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules. 2023-03-29T15:02:19Z 2023-03-29T15:02:19Z 1978-07 https://hdl.handle.net/1721.1/149490 04209261 MIT-LCS-TR-202 application/pdf |
| spellingShingle | Principato, Robert N., Jr. A Formalization of the State Machine Specification Technique |
| title | A Formalization of the State Machine Specification Technique |
| title_full | A Formalization of the State Machine Specification Technique |
| title_fullStr | A Formalization of the State Machine Specification Technique |
| title_full_unstemmed | A Formalization of the State Machine Specification Technique |
| title_short | A Formalization of the State Machine Specification Technique |
| title_sort | formalization of the state machine specification technique |
| url | https://hdl.handle.net/1721.1/149490 |
| work_keys_str_mv | AT principatorobertnjr aformalizationofthestatemachinespecificationtechnique AT principatorobertnjr formalizationofthestatemachinespecificationtechnique |