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
Feedback