Amazon cover image
Image from Amazon.com

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 / Maura Cerioli, Gianna Reggio (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 2267.Publisher: Berlin : Springer, [2002]Copyright date: ©2002Description: 1 online resource (x, 343 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540456452
  • 3540456457
Other title:
  • WADT 2001, joint with the CoFI WG Meeting
  • 15th International Workshop, WADT 2001
Subject(s): Genre/Form: Additional physical formats: Print version:: Recent trends in algebraic development techniques.DDC classification:
  • 005.1 21
LOC classification:
  • QA76.76.D47 W33 2001
Online resources:
Contents:
Interactive Rule-Based Specification with an Application to Visual Language Definition / R. Bardohl, M. Große-Rhode, and M. Simeoni -- Algebraic Abstractions / M. Bidoit and A. Boisseau -- Combining Logics: Parchments Revisited / C. Caleiro, P. Mateus, J. Ramos, A. Sernadas -- Canonical Institutions of Behaviour / J.F. Costa and H. Lourenço -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications / W. Dosch and S. Magnussen -- On the Compatibility of Model and Model-Class Transformations / M. Gajewsky and F. Parisi-Presicce -- Verifying a Simple Pipelined Microprocessor Using Maude / N.A. Harman -- Verifying Architectural Specifications / P. Hoffman -- Geometric Modelling with CASL / F. Ledoux, A. Arnould, P. Le Gall, and Y. Bertrand -- A Compositional Approach to Connector Construction / A. Lopes, M. Wermelinger, and J.L. Fiadeiro -- Institution Independent Static Analysis for Casl / T. Mossakowski and B. Klin -- Tight and Loose Semantics for Transformation Systems / F. Orejas, H. Ehrig, and E. Pino -- Presentations for Abstract Context Institutions / W. Pawłowski -- Programs, Proofs and Parametrized Specifications / I. Poernomo, J.N. Crossley, and M. Wirsing -- Towards Trustworthy Specifications I: Consistency Checks / M. Roggenbach and L. Schröder -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress / D. Sannella.
Summary: "This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems."--Publisher's description
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Interactive Rule-Based Specification with an Application to Visual Language Definition / R. Bardohl, M. Große-Rhode, and M. Simeoni -- Algebraic Abstractions / M. Bidoit and A. Boisseau -- Combining Logics: Parchments Revisited / C. Caleiro, P. Mateus, J. Ramos, A. Sernadas -- Canonical Institutions of Behaviour / J.F. Costa and H. Lourenço -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications / W. Dosch and S. Magnussen -- On the Compatibility of Model and Model-Class Transformations / M. Gajewsky and F. Parisi-Presicce -- Verifying a Simple Pipelined Microprocessor Using Maude / N.A. Harman -- Verifying Architectural Specifications / P. Hoffman -- Geometric Modelling with CASL / F. Ledoux, A. Arnould, P. Le Gall, and Y. Bertrand -- A Compositional Approach to Connector Construction / A. Lopes, M. Wermelinger, and J.L. Fiadeiro -- Institution Independent Static Analysis for Casl / T. Mossakowski and B. Klin -- Tight and Loose Semantics for Transformation Systems / F. Orejas, H. Ehrig, and E. Pino -- Presentations for Abstract Context Institutions / W. Pawłowski -- Programs, Proofs and Parametrized Specifications / I. Poernomo, J.N. Crossley, and M. Wirsing -- Towards Trustworthy Specifications I: Consistency Checks / M. Roggenbach and L. Schröder -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress / D. Sannella.

"This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems."--Publisher's description

Online resource and print version record. SpringerLink (viewed October 14, 2014).

Powered by Koha