03566nam 22006855 450 99646569700331620230222043258.0978354031959710.1007/b107129(CKB)1000000000212891(SSID)ssj0000319775(PQKBManifestationID)11255741(PQKBTitleCode)TC0000319775(PQKBWorkID)10338568(PQKB)11689991(DE-He213)978-3-540-31959-7(MiAaPQ)EBC3067862(PPN)123093260(EXLCZ)99100000000021289120100707d2005 u| 0engurnn#008mamaatxtccrRecent Trends in Algebraic Development Techniques[electronic resource] 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 280 p.)Theoretical Computer Science and General Issues,2512-2029 ;3423"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.3-540-31959-X 3-540-25327-0 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.Theoretical Computer Science and General Issues,2512-2029 ;3423Software engineeringComputer scienceMachine theoryComputer science—MathematicsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySymbolic and Algebraic ManipulationSoftware 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.005.1Fiadeiro José Luizedthttp://id.loc.gov/vocabulary/relators/edtMosses Peteredthttp://id.loc.gov/vocabulary/relators/edtOrejas Fernandoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465697003316Recent Trends in Algebraic Development Techniques771917UNISA