15. WADT 2001: Genova, Italy

@proceedings{DBLP:conf/wadt/2001,
  editor    = {Maura Cerioli and
               Gianna Reggio},
  title     = {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},
  booktitle = {WADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2267},
  year      = {2001},
  isbn      = {3-540-43159-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni:
  Interactive Rule-Based Specification with an Application to Visual Language Definition. 1-20
  Electronic Edition (Springer LINK) BibTeX
• Michel Bidoit, Alexandre Boisseau:
  Algebraic Abstractions. 21-47
  Electronic Edition (Springer LINK) BibTeX
• Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas:
  Combining Logics: Parchments Revisited. 48-70
  Electronic Edition (Springer LINK) BibTeX
• José Félix Costa, Hugo Lourenço:
  Canonical Institutions of Behaviour. 71-84
  Electronic Edition (Springer LINK) BibTeX
• Walter Dosch, Sönke Magnussen:
  The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. 85-108
  Electronic Edition (Springer LINK) BibTeX
• Magdalena Gajewsky, Francesco Parisi-Presicce:
  On the Compatibility of Model and Model-Class Transformations. 109-127
  Electronic Edition (Springer LINK) BibTeX
• Neal A. Harman:
  Verifying a Simple Pipelined Microprocessor Using Maude. 128-151
  Electronic Edition (Springer LINK) BibTeX
• Piotr Hoffman:
  Verifying Architectural Specifications. 152-175
  Electronic Edition (Springer LINK) BibTeX
• Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand:
  Geometric Modelling with CASL. 176-200
  Electronic Edition (Springer LINK) BibTeX
• Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
  A Compositional Approach to Connector Construction. 201-220
  Electronic Edition (Springer LINK) BibTeX
• Till Mossakowski, Bartek Klin:
  Institution Independent Static Analysis for CASL. 221-237
  Electronic Edition (Springer LINK) BibTeX
• Fernando Orejas, Hartmut Ehrig, Elvira Pino:
  Tight and Loose Semantics for Transformation Systems. 238-255
  Electronic Edition (Springer LINK) BibTeX
• Wieslaw Pawlowski:
  Presentations for Abstract Context Institutions. 256-279
  Electronic Edition (Springer LINK) BibTeX
• Iman Poernomo, John N. Crossley, Martin Wirsing:
  Programs, Proofs and Parametrized Specifications. 280-304
  Electronic Edition (Springer LINK) BibTeX
• Markus Roggenbach, Lutz Schröder:
  Towards Trustworthy Specifications I: Consistency Checks. 305-327
  Electronic Edition (Springer LINK) BibTeX
• Donald Sannella:
  The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. 328-344
  Electronic Edition (Springer LINK) BibTeX