Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,975,995 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
2008
2008
Transformations of a SIP Service Model
W. Bruggeman
2008
Corpus ID: 56841891
2005
2005
Transforming functional signatures of algebraic specifications into object-oriented class signatures
Bastian Dölle
,
W. Dosch
Asia-Pacific Software Engineering Conference
2005
Corpus ID: 16875517
A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system…
Expand
2005
2005
Algebraic specification of agent computation
D. Kinny
Applicable Algebra in Engineering, Communication…
2005
Corpus ID: 20802794
Algebraic specification techniques can be applied to many aspects of software agents and multi-agent systems. This paper presents…
Expand
1997
1997
System-Level Design Methodology for Embedded Signal Processors
Edward A. Lee
1997
Corpus ID: 60312923
Abstract : The focus of this project was on design methodology for complex real time, reactive systems where a variety of design…
Expand
1993
1993
Software Testing Using Algebraic Specification Based Test Oracles
S. Sankar
,
Anoop Goyal
,
Prakash Sikchi
1993
Corpus ID: 61141809
In TAV4, the first author presented a paper describing an algorithm to perform run-time consistency checking of abstract data…
Expand
1985
1985
On the Parameterized Algebraic Specification of Concurrent Systems
E. Astesiano
,
G. Mascari
,
G. Reggio
,
M. Wirsing
TAPSOFT, Vol.1
1985
Corpus ID: 21283448
A technique for specifying concurrent systems is shown, that uses the algebraic specification language ASL. A system is…
Expand
1982
1982
On the Algebraic Specification of Databases
W. Dosch
,
G. Mascari
,
M. Wirsing
Very Large Data Bases Conference
1982
Corpus ID: 18582902
manticl data models which often is For the conceptual level of database schemes a abstractions, static and dynamic constraints…
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