Search alternatives:
"algebraic specification" » "algebra specification"
"algebraic specifications" » "algebra specifications"
Cover Image
Read Now

2
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...”
Cover Image
Read Now

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...”
Cover Image
Read Now

4
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...”
Cover Image
Read Now

5
by Hussmann
Published 1993
Birkhäuser
Table of Contents: “...: Nondeterministic Algebraic Specifications -- 1.1 Nondeterministic Algebras -- 1.2 Inclusion Rules as a...”
Cover Image
Read Now

7
by Sannella, Donald, Tarlecki, Andrzej
Published 2012
Springer Berlin Heidelberg
“... the perspective of work on algebraic specification, concentrating on developing basic concepts and studying...”
Cover Image
Read Now

8
by Breu, Ruth
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...An integrated environment of classes and algebraic specifications — Basic notions and concepts -- A...”
Cover Image
Read Now

9
Published 2000
Springer US
“...Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction...”
Cover Image
Read Now

11
Published 2004
Springer Berlin Heidelberg
“...CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common...”
Cover Image
Read Now

12
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...”
Cover Image
Read Now

14
by Diaconescu, Răzvan
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...algebraic specification...”
Cover Image
Read Now

15
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Algebraic specification of concurrency -- Objects and their specification -- The use of sorts...”
Cover Image
Read Now

16
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...Categorical Semantics, Or Extending Data Types to Include Memory -- Algebraic (?) Specification...”
Cover Image
Read Now

17
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Algebraic specification a step towards future software engineering -- How to make algebraic...”
Cover Image
Read Now

18
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...”
Cover Image
Read Now

19
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...A categorical concept of constraints for algebraic specifications -- The integration of logical...”
Cover Image
Read Now

20
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... specifications with clean error handling -- Toward formal development of programs from algebraic specifications...”