Recent Trends in Algebraic Development Techniques

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

  • José Luiz Fiadeiro
  • Peter D. Mosses
  • Fernando Orejas
Conference proceedings WADT 2004

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

Table of contents

  1. Front Matter
  2. Invited Technical Paper

  3. Contributed Papers

    1. Marek A. Bednarczyk, Luca Bernardinello, Wiesław Pawłowski, Lucia Pomello
      Pages 28-44
    2. Carlos Caleiro, Jaime Ramos
      Pages 45-60
    3. Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
      Pages 61-78
    4. Antónia Lopes, José Luiz Fiadeiro
      Pages 79-93
    5. Christoph Lüth, Markus Roggenbach, Lutz Schröder
      Pages 94-105
    6. Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
      Pages 106-125
    7. Narciso Martí-Oliet, José Meseguer, Miguel Palomino
      Pages 126-143
    8. Till Mossakowski, Donald Sannella, Andrzej Tarlecki
      Pages 162-185
    9. Nikos Mylonakis, Fernando Orejas
      Pages 186-200
    10. Arnd Poetzsch-Heffter, Nicole Rauch
      Pages 201-217
    11. Grigore Roşu
      Pages 218-233
    12. Lutz Schröder, Till Mossakowski, Christoph Lüth
      Pages 234-251
  4. Back Matter

About these proceedings


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

  • José Luiz Fiadeiro
    • 1
  • Peter D. Mosses
    • 2
  • Fernando Orejas
    • 3
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.Department of Computer ScienceSwansea UniversityUK
  3. 3.Dpto de L.S.I.Universitat Politècnica de CatalunyaBarcelonaSpain

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment