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

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

  • 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

  • DOI https://doi.org/10.1007/b107129
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25327-3
  • Online ISBN 978-3-540-31959-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering