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.
Inhaltsverzeichnis
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.
