Abstract is missing.
- Interactive Rule-Based Specification with an Application to Visual Language DefinitionRoswitha Bardohl, Martin Große-Rhode, Marta Simeoni. 1-20 [doi]
- Algebraic AbstractionsMichel Bidoit, Alexandre Boisseau. 21-47 [doi]
- Combining Logics: Parchments RevisitedCarlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas. 48-70 [doi]
- Canonical Institutions of BehaviourJosé Félix Costa, Hugo Lourenço. 71-84 [doi]
- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic SpecificationsWalter Dosch, Sönke Magnussen. 85-108 [doi]
- On the Compatibility of Model and Model-Class TransformationsMagdalena Gajewsky, Francesco Parisi-Presicce. 109-127 [doi]
- Verifying a Simple Pipelined Microprocessor Using MaudeNeal A. Harman. 128-151 [doi]
- Verifying Architectural SpecificationsPiotr Hoffman. 152-175 [doi]
- Geometric Modelling with CASLFranck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand. 176-200 [doi]
- A Compositional Approach to Connector ConstructionAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro. 201-220 [doi]
- Institution Independent Static Analysis for CASLTill Mossakowski, Bartek Klin. 221-237 [doi]
- Tight and Loose Semantics for Transformation SystemsFernando Orejas, Hartmut Ehrig, Elvira Pino. 238-255 [doi]
- Presentations for Abstract Context InstitutionsWieslaw Pawlowski. 256-279 [doi]
- Programs, Proofs and Parametrized SpecificationsIman Poernomo, John N. Crossley, Martin Wirsing. 280-304 [doi]
- Towards Trustworthy Specifications I: Consistency ChecksMarkus Roggenbach, Lutz Schröder. 305-327 [doi]
- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent ProgressDonald Sannella. 328-344 [doi]