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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Fiadeiro, José Luiz (Editor), Mosses, Peter (Editor), Orejas, Fernando (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Theoretical Computer Science and General Issues, 3423
Subjects:
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.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items