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 /
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 / [electronic resource] :
edited by Maura Cerioli, Gianna Reggio.
- 1st ed. 2002.
- X, 348 p. online resource.
- Lecture Notes in Computer Science, 2267 1611-3349 ; .
- Lecture Notes in Computer Science, 2267 .
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.
9783540456452
10.1007/3-540-45645-7 doi
Software engineering.
Computer science.
Machine theory.
Computer science--Mathematics.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
QA76.758
005.1
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.
9783540456452
10.1007/3-540-45645-7 doi
Software engineering.
Computer science.
Machine theory.
Computer science--Mathematics.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
QA76.758
005.1