Table of Contents

Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.- On the Compatibility of Model and Model-Class Transformations.- Verifying a Simple Pipelined Microprocessor Using Maude.- Verifying Architectural Specifications.- Geometric Modelling with CASL.- A Compositional Approach to Connector Construction.- Institution Independent Static Analysis for Casl.- Tight and Loose Semantics for Transformation Systems.- Presentations for Abstract Context Institutions.- Programs, Proofs and Parametrized Specifications.- Towards Trustworthy Specification I: Consistency Checks.- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.