Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
WADT 2004Corporate Author
WADT 2004(2004 :Barcelona, Spain)
Fiadeiro, José Luiz.editor.
Mosses, Peter.editor.
Orejas, Fernando.editor.
"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.
Includes bibliographical references and index.
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.
Software engineering.
Computer logic.
Mathematical logic.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.