Recent 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 Orejas
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Recent 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 Orejas
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (VIII, 280 p.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software 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 | |
| Persona (resp. second.): | FiadeiroJosé Luiz |
| MossesPeter | |
| OrejasFernando | |
| 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. |
| Titolo autorizzato: | Recent Trends in Algebraic Development Techniques |
| ISBN: | 9783540319597 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465697003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 3423