Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,054 papers from all fields of science
Search
Sign In
Create Free Account
Algebraic specification
Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Boolean algebra
Common Algebraic Specification Language
Constructor (object-oriented programming)
Don Sannella
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
A. Bucchiarone
,
H. Ehrig
,
C. Ermel
,
Patrizio Pelliccione
,
Olga Runge
Software, Services, and Systems
2015
Corpus ID: 12475224
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments…
Expand
2014
2014
Generating and Solving Symbolic Parity Games
G. Kant
,
J. Pol
Conference on Computer Graphics and Interactive…
2014
Corpus ID: 11286066
We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games…
Expand
2006
2006
Proof Systems for Institutional Logic
R. Diaconescu
Journal of Logic and Computation
2006
Corpus ID: 14797547
Institutions with proof-theoretic structure, here called 'institutions with proofs', provide a complete formal notion for the…
Expand
Review
2000
Review
2000
CAFE: An Industrial-Strength Algebraic Formal Method
K. Futatsugi
,
A. T. Nakagawa
,
T. Tamai
2000
Corpus ID: 60363887
Review
2000
Review
2000
Software Specification Methods: An Overview Using a Case Study
M. Frappier
,
H. Habrias
2000
Corpus ID: 11178342
Part I: State-Based Approaches 1. Z: A Formal Specification Notation.- 2. SAZ: SSADM Version 4 and Z.- 3. B: A Model-Based Method…
Expand
1998
1998
Timed Bisimulation and Open Maps
T. Hune
,
M. Nielsen
International Symposium on Mathematical…
1998
Corpus ID: 9535269
Open maps have been used for defining bisimulations for a range of models, but none of these have modelled real-time. We define a…
Expand
1998
1998
Structured Transition Systems as Lax Coalgebras
A. Corradini
,
M. Große-Rhode
,
R. Heckel
International Workshop on Coalgebraic Methods in…
1998
Corpus ID: 37074533
1998
1998
A Refinement Calculus for Statecharts
P. Scholz
Fundamental Approaches to Software Engineering
1998
Corpus ID: 206852678
We present a Statecharts dialect with only three syntactic constructs and a semantics that is not restricted to describe reactive…
Expand
1982
1982
Direct Implementation of Algebraic Specification of Abstract Data Types
A. Moitra
IEEE Transactions on Software Engineering
1982
Corpus ID: 15910616
Algebraic specification is now an established way of formally defining abstract data types. For its practical use, however, a…
Expand
1978
1978
Algebraic Specification Schemes for Data Base Systems
H. Ehrig
,
H. Kreowski
,
H. Weber
Very Large Data Bases Conference
1978
Corpus ID: 28256719
We propose a hierarchic structuring principle for the formal specification of data base systems, called an algebraic…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE