Skip to search formSkip to main contentSkip to account menu

Algebraic specification

Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments… 
2014
2014
We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games… 
2006
2006
Institutions with proof-theoretic structure, here called 'institutions with proofs', provide a complete formal notion for the… 
Review
2000
Review
2000
Part I: State-Based Approaches 1. Z: A Formal Specification Notation.- 2. SAZ: SSADM Version 4 and Z.- 3. B: A Model-Based Method… 
1998
1998
Open maps have been used for defining bisimulations for a range of models, but none of these have modelled real-time. We define a… 
1998
1998
We present a Statecharts dialect with only three syntactic constructs and a semantics that is not restricted to describe reactive… 
1982
1982
Algebraic specification is now an established way of formally defining abstract data types. For its practical use, however, a… 
1978
1978
We propose a hierarchic structuring principle for the formal specification of data base systems, called an algebraic…