Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
by
Fiadeiro, José Luiz. editor.
Title
:
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Author
:
Fiadeiro, José Luiz. editor.
ISBN
:
9783540319597
Physical Description
:
VIII, 280 p. online resource.
Series
:
Lecture Notes in Computer Science, 3423
Contents
:
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.
Subject Term
:
Computer science.
Software engineering.
Logic design.
Algebra -- Data processing.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Added Author
:
Fiadeiro, José Luiz.
Mosses, Peter D.
Orejas, Fernando.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 510330-1001 | QA76.9 .L63 | Online Springer |