Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

  • Martin Wirsing
  • Dirk Pattinson
  • Rolf Hennicker
Conference proceedings WADT 2002

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

Table of contents

  1. Front Matter
  2. Invited Technical Papers

    1. L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola et al.
      Pages 1-33
    2. F. Arbab, J. J. M. M. Rutten
      Pages 34-55
    3. Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis et al.
      Pages 82-117
  3. Invited Non-technical Papers

    1. Ryoko Amadee Goguen, Joseph Amadee Goguen
      Pages 118-126
    2. Joseph A. Goguen, Ryoko A. Goguen
      Pages 127-128
  4. Contributed Papers

    1. Paolo Baldan, Roberto Bruni, Ugo Montanari
      Pages 145-164
    2. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
      Pages 165-184
    3. C. Caleiro, P. Gouveia, J. Ramos
      Pages 185-200
    4. Joseph A. Goguen, Kai Lin, Grigore Roşu
      Pages 216-232
    5. Kathrin Hoffmann, Till Mossakowski
      Pages 253-267
    6. Jesse Hughes, Martijn Warnier
      Pages 268-283
    7. Hans-Jörg Kreowski, Sabine Kuske
      Pages 299-311

About these proceedings

Keywords

Multimedia UML Unified Modeling Language (UML) algebraic methods algebraic program development calculus co-algebraic methods component systems formal method petri net software architecture specification languages system development systems development term rewriting

Editors and affiliations

  • Martin Wirsing
    • 1
  • Dirk Pattinson
    • 2
  • Rolf Hennicker
    • 3
  1. 1.Institute of Computer ScienceLMU MunichMunichGermany
  2. 2.Department of ComputingImperial College LondonUK
  3. 3.Institut für InformatikLudwig-Maximilians-Universität MünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b94458
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20537-1
  • Online ISBN 978-3-540-40020-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book