Abstract is missing.
- Towards an Algebraic Semantics for the Object ParadigmJoseph A. Goguen, Razvan Diaconescu. 1-29
- Rewriting Techniques for Software EngineeringJean-Pierre Jouannaud. 30-52
- Identity and Existence, and Types in Algebra - A Survey of SortsAxel Poigné. 53-78
- Overloading and InheritanceEric G. Wagner. 79-97
- A SMoLCS Based Kit for Defining High-Level Algebraic Petri NetsMohamed Bettaz, Gianna Reggio. 98-112
- Institutions for Very Abstract SpecificationsMaura Cerioli, Gianna Reggio. 113-127
- About the Correctness and Adequacy of PLUSS SpecificationsChristine Choppy. 128-143
- Semantic Constructions in the Specification Language GLIDERSilvia Clerici, Rosa M. Jiménez, Fernando Orejas. 144-157
- On Certification of Specifications for TROLL light ObjectsStefan Conrad. 158-172
- Translating TROLL light Concepts to MaudeGrit Denker, Martin Gogolla. 173-187
- Algebraic High-Level Nets: Petri Nets RevisitedHartmut Ehrig, Julia Padberg, Leila Ribeiro. 188-206
- Two-Categorical Specification of Partial AlgebrasMartin Große-Rhode, Uwe Wolter. 207-219
- A Behavioural Algebraic Framework for Modular System Design with ReuseRolf Hennicker, Friederike Nickl. 220-234
- On Fibred Adjunctions and Completeness for Fibred CategoriesClaudio Hermida. 235-251
- Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting SystemsJordi Levy, Jaume Agustí-Cullell. 252-267
- A Semantic Basis of Logic-Independent TransformationJunbo Liu. 268-279
- Unified Algebras and Abstract SyntaxPeter D. Mosses. 280-294
- Structured Inheritance for Algebraic Class SpecificationsFrancesco Parisi-Presicce, Alfonso Pierantonio. 295-309
- Towards a Theory for the Animation of Algebraic SpecificationCatharina Rieckhoff. 310-320
- Second-Order Proof Systems for Algebraic Specification LanguagesPierre Yves Schobbens. 321-336
- An Institution of Object BehaviourAmílcar Sernadas, José Félix Costa, Cristina Sernadas. 337-351