E-Books durchsuchen
Fundamentals of Algebraic Specification 2 [1990]
- 1
-
Introduction
- 9
-
Informal Introduction to Abstract Modules
- 51
-
Module Specifications
- 91
-
Basic Operations on Module Specifications
- 143
-
General Operations on Module Specifications
- 177
-
Refinement, Interface Specifications, and Realization
- 223
-
Development Categories, Simulation, and Transformation
- 263
-
Constraints
- 303
-
Module Specifications and Operations with Constraints
- 351
-
Abstract Act One and Act Two
- 385
-
Summary of Basic Notions