|
|
|
Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Inhalt: |
| 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. |
|
i.d.R. innert 5-10 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
