default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. WADT 2001: Genova, Italy
- Maura Cerioli, Gianna Reggio:
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. Lecture Notes in Computer Science 2267, Springer 2001, ISBN 3-540-43159-4 - Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni:
Interactive Rule-Based Specification with an Application to Visual Language Definition. 1-20 - Michel Bidoit, Alexandre Boisseau:
Algebraic Abstractions. 21-47 - Carlos Caleiro, Paulo Mateus
, Jaime Ramos, Amílcar Sernadas:
Combining Logics: Parchments Revisited. 48-70 - José Félix Costa, Hugo Lourenço:
Canonical Institutions of Behaviour. 71-84 - Walter Dosch, Sönke Magnussen:
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. 85-108 - Magdalena Gajewsky, Francesco Parisi-Presicce:
On the Compatibility of Model and Model-Class Transformations. 109-127 - Neal A. Harman:
Verifying a Simple Pipelined Microprocessor Using Maude. 128-151 - Piotr Hoffman:
Verifying Architectural Specifications. 152-175 - Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand:
Geometric Modelling with CASL. 176-200 - Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
A Compositional Approach to Connector Construction. 201-220 - Till Mossakowski, Bartek Klin:
Institution Independent Static Analysis for CASL. 221-237 - Fernando Orejas, Hartmut Ehrig, Elvira Pino:
Tight and Loose Semantics for Transformation Systems. 238-255 - Wieslaw Pawlowski:
Presentations for Abstract Context Institutions. 256-279 - Iman Poernomo, John N. Crossley, Martin Wirsing:
Programs, Proofs and Parametrized Specifications. 280-304 - Markus Roggenbach, Lutz Schröder:
Towards Trustworthy Specifications I: Consistency Checks. 305-327 - Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. 328-344
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 19:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
