Skip to main content
  • Conference proceedings
  • © 2005

Recent Trends in Algebraic Development Techniques

17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3423)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): WADT: International Workshop on Algebraic Development Techniques

Conference proceedings info: WADT 2004.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Invited Technical Paper

  3. Contributed Papers

    1. Modelling Mobility with Petri Hypernets

      • Marek A. Bednarczyk, Luca Bernardinello, Wiesław Pawłowski, Lucia Pomello
      Pages 28-44
    2. Cryptomorphisms at Work

      • Carlos Caleiro, Jaime Ramos
      Pages 45-60
    3. Towards a Formal Specification of an Electronic Payment System in CSP-CASL

      • Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
      Pages 61-78
    4. Algebraic Semantics of Design Abstractions for Context-Awareness

      • Antónia Lopes, José Luiz Fiadeiro
      Pages 79-93
    5. CCC – The Casl Consistency Checker

      • Christoph Lüth, Markus Roggenbach, Lutz Schröder
      Pages 94-105
    6. Ontologies for the Semantic Web in Casl

      • Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
      Pages 106-125
    7. Theoroidal Maps as Algebraic Simulations

      • Narciso Martí-Oliet, José Meseguer, Miguel Palomino
      Pages 126-143
    8. A Simple Refinement Language for Casl

      • Till Mossakowski, Donald Sannella, Andrzej Tarlecki
      Pages 162-185
    9. A Distributed and Mobile Component System Based on the Ambient Calculus

      • Nikos Mylonakis, Fernando Orejas
      Pages 186-200
    10. Application and Formal Specification of Sorted Term-Position Algebras

      • Arnd Poetzsch-Heffter, Nicole Rauch
      Pages 201-217
    11. From Conditional to Unconditional Rewriting

      • Grigore Roşu
      Pages 218-233
    12. Type Class Polymorphism in an Institutional Framework

      • Lutz Schröder, Till Mossakowski, Christoph Lüth
      Pages 234-251
  4. Back Matter

Other Volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

  • CASL
  • UML
  • algebraic methods
  • algebraic program development
  • algebraic specifications
  • ambient calculus
  • architectural specifications
  • co-algebraic methods
  • design
  • formal method
  • formal specification
  • modeling
  • polymorphism
  • software architecture
  • system development

Editors and Affiliations

  • Department of Computer Science, University of Leicester, Leicester, UK

    José Luiz Fiadeiro

  • Department of Computer Science, Swansea University, UK

    Peter D. Mosses

  • Dpto de L.S.I., Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions