Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Parallel program design: a foundation
Parallel program design: a foundation
The Z notation: a reference manual
The Z notation: a reference manual
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Algebraic methods: theory, tools and applications
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Handbook of theoretical computer science (vol. B)
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Evolving algebras 1993: Lipari guide
Specification and validation methods
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Dynamic Systems with Implicit State
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
From Static to Dynamic Abstract Data-Types
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
An Algebraic Semantics for the Object Specification Language TROLL light
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Concurrent State Transformations on Abstract Data Types
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
| Hi-index | 0.00 |
Algebraic imperative specifications (AIS) are specifications with implicit state represented by an algebra and with a number of transition rules indicating state transformations. They are designed for the formal definition of complex dynamic systems. Two approaches to algebraic imperative specifications have been developed in parallel during the last decade: Abstract State Machines (ASMs), initially known as evolving algebras, and Algebraic specifications with Implicit State (AS-IS). Moreover typed versions of ASM have been developed which have incorporated some aspects of AS-IS. This survey paper provides a guided tour of these imperative approaches of specification based on the state-as-algebra paradigm, and sketches a synthesis of two of them, under the name of dynamic systems with implicit state.