Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Fiadeiro, José Luiz (Επιμελητής έκδοσης), Mosses, Peter D. (Επιμελητής έκδοσης), Orejas, Fernando (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3423
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Symbolic and Algebraic Manipulation.

Πίνακας περιεχομένων:

• 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.