Skip to main content
SpringerLink
Log in

Recent Trends in Algebraic Development Techniques

15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Maura Cerioli

    1. DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Genova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gianna Reggio

    1. DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Genova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2267)

Included in the following conference series:

Conference proceedings info: WADT 2001.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Interactive Rule-Based Specification with an Application to Visual Language Definition

    • Roswitha Bardohl, Martin Groβe-Rhode, Marta Simeoni
    Pages 1-20

  3. Algebraic Abstractions

    • Michel Bidoit, Alexandre Boisseau
    Pages 21-47

  4. Combining Logics: Parchments Revisited

    • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas
    Pages 48-70

  5. Canonical Institutions of Behaviour

    • J. Félix, H. Lourenço
    Pages 71-84

  6. The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

    • Walter Dosch, Sönke Magnussen
    Pages 85-108

  7. On the Compatibility of Model and Model-Class Transformations

    • Maike Gajewsky, Francesco Parisi-Presicce
    Pages 109-127

  8. Verifying a Simple Pipelined Microprocessor Using Maude

    • N. A. Harman
    Pages 128-151

  9. Verifying Architectural Specifications

    • Piotr Hoffman
    Pages 152-175

  10. Geometric Modelling with CASL

    • Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
    Pages 176-201

  11. A Compositional Approach to Connector Construction

    • Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
    Pages 201-220

  12. Institution Independent Static Analysis for Casl

    • Till Mossakowski, Bartek Klin
    Pages 221-237

  13. Tight and Loose Semantics for Transformation Systems

    • Fernando Orejas, Hartmut Ehrig, Elvira Pino
    Pages 238-255

  14. Presentations for Abstract Context Institutions

    • Wiesław Pawłowski
    Pages 256-279

  15. Programs, Proofs and Parametrized Specifications

    • Iman Poernomo, John N. Crossley, Martin Wirsing
    Pages 280-304

  16. Towards Trustworthy Specification I: Consistency Checks

    • Markus Roggenbach, Lutz Schröder
    Pages 305-327

  17. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

    • Donald Sannella
    Pages 328-343

  18. Back Matter

    Pages 345-345
    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

Editors and Affiliations

  • DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Genova, Italy

    Maura Cerioli, Gianna Reggio

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation