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.

Bibliographic Details
Main Author:	Principato, Robert N., Jr.
Other Authors:	Liskov, Barbara H.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149490

Similar Items

Formal specification of a specification library
by: Atreya, Sriram K
Published: (2005)

Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications
by: Tan, Yang Meng
Published: (2023)

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications
by: Tan, Yang Meng
Published: (2007)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Formal Specifications for Packet Communication Systems
by: Ellis, David J.
Published: (2023)

Investigating the readability of formal specification languages
by: Zimmerman, Marc Kenton, 1975-
Published: (2013)

A survey of smart contract formal specification and verification
by: Tolmach, Palina, et al.
Published: (2022)

Algorithms for minimum-violation planning with formal specifications
by: Reyes Castro, Luis I. (Luis Ignacio), et al.
Published: (2014)

Algorithms for autonomous urban navigation with formal specifications
by: Chaudhari, Pratik (Pratik Anil)
Published: (2014)

A formal specification and verification framework for timed security protocols
by: Li, Li, et al.
Published: (2020)

The formal specification for the inventory system using Z language
by: Bakri, Siti Halimah, et al.
Published: (2013)

Formal specification of internetworking protocol converter using Estelle
by: Shi, Nansi.
Published: (2009)

Extending a formal specification & requirements language : a case study
by: Lai, Danny Cho-Liang, 1978-
Published: (2014)

Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications
by: Rich, Charles, et al.
Published: (2004)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

The new formal specification framework of individual emergency, response and preparedness
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Evaluating visualization in formal requirements specification : an experiment with human subjects
by: Viguier, Thomas, 1978-
Published: (2013)

A demonstration of a formal specification & requirements language : a case study
by: Sutherland, Sean J. P. (Sean Jason Perry), 1977-
Published: (2014)

Formal planning systems: the state of the art.
by: Lorange, Peter.
Published: (2009)

A formal framework for specification-based embedded real-time system engineering
by: Ouimet, Martin, 1975-
Published: (2009)

Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime
by: Ab. Aziz, Azizi, et al.
Published: (2017)

Empirical evaluation of design principles for increasing reviewability of formal requirements specifications through visualization
by: Dulac, Nicolas, 1978-
Published: (2013)

Formal analysis of anxiety in cognitive model of interviewee mental state
by: Ajoge, Naseer Sanni, et al.
Published: (2017)

Formal analysis of temporal dynamics properties in anxiety states and traits
by: Ab. Aziz, Azizi, et al.
Published: (2016)

Ground states and formal duality relations in the Gaussian core model
by: Cohn, Henry, et al.
Published: (2013)

Four formal(izable) theories of the firm?
by: Gibbons, Robert
Published: (2011)

A formal dinner
by: Waterford Association, WA

State estimation in induction machines
by: Sanders, Seth Robert
Published: (2008)

Redefinition of state apparatuses: AKP’s formal-informal networks in the online realm
by: Irak, Daghan, et al.
Published: (2017)

Formal analysis of temporal dynamics in anxiety states and traits for virtual patients
by: Ab. Aziz, Azizi
Published: (2016)

Formal analysis of temporal dynamics in anxiety states and traits for virtual patients
by: Ab. Aziz, Azizi, et al.
Published: (2016)

Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
by: Nursyahidah Alias, et al.
Published: (2013)

Specification and Proof Techniques for Serializers
by: Atkinson, Russell, et al.
Published: (2004)

Formalizing Triggers: A Learning Model for Finite Spaces
by: Niyogi, Partha, et al.
Published: (2004)

Machine translation of software-specific documentations
by: Tee, Li Yin
Published: (2017)

Influence of formal techniques and design fixation on idea generation tasks in engineering practice
by: Gibson, Chad D. (Chad Daniel)
Published: (2017)

Group at a formal dinner
by: Waterford Association, WA

Couple at a formal dinner
by: Waterford Association, WA