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 |
| Summary: | This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules. |
|---|