2
by Horebeek, Ivo Van, Lewi, Johan
Published 1989
Springer Berlin Heidelberg
Table of Contents: ...2.19 Bibliographic Notes -- 3. An Algebraic Specif ication Language -- 3.1 Modularity -- 3.2...

3
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
...The aim of this book is to present fundamentals of algebraic specifications with respect...

4
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... for Abstract Modules and Modular Systems -- 1D: Informal Introduction to Algebraic Specification of Modules...

6
by Hussmann
Published 1993
Birkhäuser
Table of Contents: ...: Nondeterministic Algebraic Specifications -- 1.1 Nondeterministic Algebras -- 1.2 Inclusion Rules as a...

7
by Breu, Ruth
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...An integrated environment of classes and algebraic specifications — Basic notions and concepts -- A...

8
by Sannella, Donald, Tarlecki, Andrzej
Published 2012
Springer Berlin Heidelberg
... the perspective of work on algebraic specification, concentrating on developing basic concepts and studying...

10
Published 2000
Springer US
...Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction...

11
Published 2004
Springer Berlin Heidelberg
...CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common...

13
by Bidoit, Michel, Mosses, Peter D.
Published 2004
Springer Berlin Heidelberg
...CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common...

14
by Diaconescu, Răzvan
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...algebraic specification...

15
Published 1985
Springer Berlin Heidelberg
Table of Contents: ...Categorical Semantics, Or Extending Data Types to Include Memory -- Algebraic (?) Specification...

16
Published 1989
Springer Berlin Heidelberg
Table of Contents: ...Algebraic specification a step towards future software engineering -- How to make algebraic...

17
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... and Their Refinements -- Object Specification -- Algebraic Specification of Concurrent Systems -- Formalization...

18
Published 1991
Springer Berlin Heidelberg
...Methods for the algebraic specification of abstract data types were proposed in the early 1970...

19
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...Algebraic specification of concurrency -- Objects and their specification -- The use of sorts...

20
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge...