Advertisement

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
    8. Antónia Lopes, José Luiz Fiadeiro
      Pages 343-358
    9. Till Mossakowski
      Pages 359-375
    10. Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
      Pages 376-392
    11. Dirk Pattinson
      Pages 393-408
    12. Wiesław Pawłowski
      Pages 409-424
    13. Lutz Schröder, Till Mossakowski
      Pages 425-441
  5. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering