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.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.
- X, 348 p. online resource.
- Lecture Notes in Computer Science, 2267 0302-9743 ; .
- 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
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113