Abstract is missing.
- From abstract data types to algebraic development techniques: A shift of paradigmsHartmut Ehrig, Magdalena Gajewsky, Uwe Wolter. 1-17
- Membership algebra as a logical framework for equational specificationJosé Meseguer. 18-61
- Mapping tile logic into rewriting logicJosé Meseguer, Ugo Montanari. 62-91
- An algebra of mixin modulesDavide Ancona, Elena Zucca. 92-106
- Correctness of a logical system for structured specificationsT. Borzyskowski. 107-121
- Zero-safe nets: The individual token approachRoberto Bruni, Ugo Montanari. 122-140
- Implementation of derived programs (almost) for freeMaura Cerioli, Elena Zucca. 141-155
- A method for FORTRAN programs reverse engineering using algebraic specificationsSophie Cherki, Christine Choppy. 156-173
- Coalgebra semantics for hidden algebra: Parameterised objects an inheritanceCorina Cîrstea. 174-189
- A Completeness result for equational deduction in coalgebraic specificationAndrea Corradini. 190-205
- Specifying with defaults: Compositional semanticsF. M. Dionisio, Udo W. Lipeck. 206-222
- An inductive view of graph transformationFabio Gadducci, Reiko Heckel. 223-237
- On combining semiformal and formal object specification techniquesMartin Gogolla, Mark Richters. 238-252
- Modular aspects of rewrite-based specificationsBernhard Gramlich. 253-268
- From algebra transformation to labelled transition systemsMartin Große-Rhode. 269-284
- Open maps as a bridge between algebraic observational equivalence and bisimilaritySlawomir Lasota. 285-299
- A systematic study of mappings between institutionsAlfio Martini, Uwe Wolter. 300-315
- Colimits of order-sorted specificationsTill Mossakowski. 316-332
- Static semantic analysis and theorem proving for CASLTill Mossakowski, Kolyang, Bernd Krieg-Brückner. 333-348
- Combining and representing logical systems using model-theoretic parchmentsTill Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski. 349-364
- Towards the one-tiered design of data types and transition systemsPeter Padawitz. 365-380
- Context parchmentsWieslaw Pawlowski. 381-401
- Verifying a compiler optimization for Multi-Threaded JavaBernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing. 402-417
- Categories of relational structuresMichal Walicki, Marcin Bialasik. 418-434