MPG.eBooks - Search Results - "algebraic specification"

1

Published 1985

Springer Berlin Heidelberg

Table of Contents: “... and L-systems -- On observational equivalence and algebraic specification -- Parameter preserving data...”

2

Published 1985

Springer Berlin Heidelberg

Table of Contents: “... specifications -- Application of PROLOG to test sets generation from algebraic specifications -- A PROLOG...”

3

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... results -- Algebraic specification of reactive systems -- A model for mobile point-to-point data-flow...”

4

Published 1988

Springer Berlin Heidelberg

Table of Contents: “... languages in Dactl -- Unification in primal algebras -- Algebraic specification with built-in domain...”

5

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... computation -- Order-sorted algebraic specifications with higher-order functions -- Proving the correctness...”

6

Published 1994

Springer London

Table of Contents: “... -- Interaction Between Algebraic Specification Grammars and Modular System Design -- Specification of Hybrid...”