Results 1 to 10 of about 655 (188)

Algebraic specification of the abstract data type ``continuum'' without hidden operations

Bull. EATCS, 1986
openaire   +1 more source

Algebraic specification a step towards future software engineering

2005
H Partsch, Partsch H
exaly  

Error description on algebraic specification and its automatic addition

Systems and Computers in Japan, 1996
exaly  

Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems

1993
Hartmut Ehrig
exaly  

An algebraic specification of process algebra, including two examples

2005
exaly  

REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types.

Jean-Luc Rémy, Hantao Zhang 0001
openaire  

Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.

Christoph Beierle, Angi Voß
openaire  

Algebraic Specification of Plausible Reasoning

Automatic Documentation and Mathematical Linguistics
exaly  

Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction.

openaire  

Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types.

openaire