Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

• Pubblicazione: Berlin ; ; New York, : Springer, c2005
• Edizione: 1st ed. 2005.
• Descrizione fisica: 1 online resource (VIII, 280 p.)
• Disciplina: 005.1
• Soggetto topico: Computer software - Development; Computer science - Mathematics; Abstract data types (Computer science)
• Altri autori: FiadeiroJose Luiz <1961-> MossesPeter OrejasF (Fernando)
• Note generali: "WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Altri titoli varianti: WADT 2004
• Titolo autorizzato: Recent trends in algebraic development techniques
• ISBN: 9783540319597
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484054103321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 3423.