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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fiadeiro, José Luiz (Editor ), Mosses, Peter (Editor ), Orejas, Fernando (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3423
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares