Recent Trends in Algebraic Development Techniques

21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

  • Narciso Martí-Oliet
  • Miguel Palomino
Conference proceedings WADT 2012

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

Table of contents

  1. Front Matter
  2. Chiara Bodei, Linda Brodo, Roberto Bruni
    Pages 1-23
  3. Francisco Durán, Fernando Orejas, Steffen Zschaler
    Pages 24-49
  4. Kim G. Larsen, Axel Legay
    Pages 50-58
  5. Irina Măriuca Asăvoae, Frank de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
    Pages 59-76
  6. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
    Pages 95-110
  7. Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
    Pages 111-126
  8. Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
    Pages 127-142
  9. Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
    Pages 143-160
  10. Fabio Gadducci, Giacoma Valentina Monreale
    Pages 161-177
  11. Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
    Pages 178-194
  12. Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno M. Aguirre, Thomas S. E. Maibaum
    Pages 195-211
  13. Till Mossakowski, Oliver Kutz, Christoph Lange
    Pages 212-230
  14. Isabel Pita, María-Inés Fernández-Camacho
    Pages 231-247
  15. Adrián Riesco, Irina Măriuca Asăvoae, Mihail Asăvoae
    Pages 248-264
  16. David Romero Hernández, David de Frutos Escrig
    Pages 265-282
  17. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain.
The 16 revised papers presented were carefully reviewed and selected from 25 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.


concurrent semantics formal analysis maude model checking rewriting logic

Editors and affiliations

  • Narciso Martí-Oliet
    • 1
  • Miguel Palomino
    • 1
  1. 1.Facultad de Informática, Departamento de Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-37634-4
  • Online ISBN 978-3-642-37635-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software