search for books and compare prices
Tables of Contents for Algebraic Foundations of Systems Specification
Chapter/Section Title
Page #
Page Count
The Role of Formal Specifications
1
12
Marie-Claude Gaudel
Gilles Bernot
The role of specifications in software development
1
2
Formal specifications
3
3
Requirement engineering and validation
6
2
Refinements
8
2
Mechanization of formal specifications
10
3
Algebraic Preliminaries
13
18
Donald Sannella
Andrzej Tarlecki
Many-sorted sets
13
1
Signatures and algebras
14
2
Homomorphisms and congruences
16
2
Term algebras
18
2
Signature morphisms
20
2
Equations
22
1
Presentations and theories
22
3
Equational calculus
25
1
Initial models
26
1
Variations on a theme
27
4
From Total Equational to Partial First-Order Logic
31
74
Maura Cerioli
Till Mossakowski
Horst Reichel
Conditional axioms
35
12
Partial data types
47
10
Partial first-order logic
57
40
More advanced problems
97
8
Institutions: An Abstract Framework for Formal Specifications
105
26
Andrzej Tarlecki
Working with an arbitrary logical system
105
2
Institutions
107
6
Flat specifications in an arbitrary institution
113
2
Institutions with composable signatures
115
4
Entailment relations
119
4
Specifications in an arbitrary institution
123
5
Further remarks
128
3
Specification Semantics
131
28
Horst Reichel
Isomorphism class semantics
133
7
Loose semantics
140
4
Constraints
144
7
Observability
151
5
Data types and systems as fixed points
156
3
Structuring and Modularity
159
42
Fernando Orejas
Introduction
159
1
Preliminaries
159
3
Basic operations for building specifications
162
10
Parameterizations and parameter passing
172
17
Modules and modular systems
189
12
Refinement and Implementation
201
42
Hartmut Ehrig
Hans-Jorg Kreowski
Introduction
201
3
Examples
204
7
Implementation concepts
211
9
Syntactic aspects
220
4
Composition
224
3
Refinement of modular specifications
227
8
Implementation of modular systems
235
8
Specification Languages
243
30
Donald Sannella
Martin Wirsing
Introduction
243
1
Existing specification languages
244
8
Design decisions
252
19
Future trends
271
2
Term Rewriting
273
48
Helene Kirchner
Rewriting as an abstract reduction system
274
4
Rewriting as a relation on terms
278
15
Rewriting as a logic for concurrent computations
293
5
Superposition and simplification
298
8
Order sorted rewriting
306
6
Inductive proofs
312
8
Further reading
320
1
Proof in Flat Specifications
321
64
Peter Padawitz
Introduction
321
4
Standard specifications
325
14
Final semantics and bisimilarity
339
7
Gentzen proofs and program synthesis
346
6
Confluence and consistency
352
13
Implicit induction
365
4
Unfolding and explicit induction
369
10
Goal solving
379
6
Proof Systems for Structured Specifications and Their Refinements
385
50
Michel Bidoit
Maria Victoria Cengarle
Rolf Hennicker
Introduction
385
2
The kernel specification language
387
8
Noncompositional proof systems
395
7
Structured proof systems
402
3
Proof systems for refinement
405
1
Parameterization
406
9
Reachability and observability operators
415
20
Object Specification
435
32
Hans-Dieter Ehrich
Introduction
435
1
Basic concepts
436
9
A denotational class model
445
4
Class specification in the small
449
3
Class specification in the large
452
6
Object systems
458
4
Related work
462
2
Concluding remarks
464
3
Algebraic Specification of Concurrent Systems
467
54
Egidio Astesiano
Manfred Broy
Gianna Reggio
Process algebras
469
9
Algebraic specification of static data types
478
22
Dynamic-data types (A3)
500
10
Dynamic data-types (A4)
510
8
Conclusion
518
3
Specifications of data types used by Bit
520
1
Formalization of the Development Process
521
42
David Basin
Bernd Krieg-Bruckner
Introduction
521
10
Simple schematic development rules
531
17
General development rules
548
7
Developments
555
6
Conclusions
561
2
Bibliography
563
48
Subject Index
611
5
Author Index
616