Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

  • Till Mossakowski
  • Hans-Jörg Kreowski
Conference proceedings WADT 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
      Pages 1-12
    2. Hans-Dieter Ehrich
      Pages 13-24
    3. Jan Kofroň, František Plášil
      Pages 25-26
  3. Contributed Papers

    1. Paolo Baldan, Clara Bertolissi
      Pages 27-41
    2. Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo
      Pages 42-60
    3. Pablo F. Castro, Tom S. E. Maibaum
      Pages 61-75
    4. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
      Pages 118-138
    5. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
      Pages 139-159
    6. Andrea Corradini, Fabio Gadducci, Leila Ribeiro
      Pages 160-174
    7. Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman et al.
      Pages 175-192
    8. Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
      Pages 193-208
    9. Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
      Pages 209-225
    10. Grzegorz Marczyński
      Pages 226-250
    11. Liam O’Reilly, Till Mossakowski, Markus Roggenbach
      Pages 251-269
    12. Daniel Seidel, Janis Voigtländer
      Pages 270-286
  4. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.
The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.


code coverage functional programming maude test cases verification

Editors and affiliations

  • Till Mossakowski
    • 1
  • Hans-Jörg Kreowski
    • 2
  1. 1.DFKI, Cyber-Physical SystemsDeutsches Forschungszentrum für künstliche IntelligenzBremenGermany
  2. 2.Mathematik und InformatikUniversität BremenBremenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28411-3
  • Online ISBN 978-3-642-28412-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software