Table of contents

  1. Front Matter
  2. Hartmut Ehrig, Bernd Mahr
    Pages 6-10
  3. Wolfgang Thomas
    Pages 20-38
  4. Frits Vaandrager
    Pages 39-39
  5. Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
    Pages 67-92
  6. Egidio Astesiano, Gianna Reggio
    Pages 93-114
  7. Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
    Pages 139-152
  8. Bruno Salinier, Robert Strandh
    Pages 153-164
  9. Isabelle Biermann, Brigitte Rozoy
    Pages 165-176
  10. Yves Andre, Francis Bossut
    Pages 177-188
  11. E. Allen Emerson, Richard J. Trefler
    Pages 189-200
  12. Jean Michel Ilié, Khalil Ajami
    Pages 213-224
  13. Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema
    Pages 237-248
  14. Thomas Genet, Isabelle Gnaedig
    Pages 249-260
  15. Jonathan C. Martin, Andy King
    Pages 273-284
  16. Michael Baldamus, Jürgen Dingel
    Pages 285-296
  17. Irek Ulidowski, Iain Phillips
    Pages 297-308
  18. Franck van Breugel
    Pages 321-332
  19. Ali Amaniss, Miki Hermann, Denis Lugiez
    Pages 333-344
  20. Martin Müller, Joachim Niehren, Andreas Podelski
    Pages 345-356
  21. Franck Seynhaeve, Marc Tommasi, Ralf Treinen
    Pages 357-368
  22. Daniel Leivant, Jean-Yves Marion
    Pages 369-380
  23. Robert Muth, Saumya Debray
    Pages 381-392
  24. Tomas Kovacs, Andrzej Lingas
    Pages 393-404
  25. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    Pages 405-416
  26. Sabrina Mantaci, Daniele Micciancio
    Pages 417-428
  27. Sébastien Limet, Pierre Réty
    Pages 429-440
  28. P. Arenas-Sánchez, M. Rodríguez-Artalejo
    Pages 453-464
  29. Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
    Pages 465-477
  30. F. Alessi, P. Baldan, F. Honsell
    Pages 478-489
  31. Chuck Liang
    Pages 490-501
  32. J. L. Fiadeiro, A. Lopes
    Pages 503-519
  33. Gary T. Leavens, Jeannette M. Wing
    Pages 520-534
  34. Henrik Reif Andersen, JØrgen Staunstrup, Niels Maretti
    Pages 550-564
  35. Kåre J. Kristoffersen, Francois Laroussinie, Kim G. Larsen, Paul Pettersson, Wang Yi
    Pages 565-579
  36. Olaf Müller, Tobias Nipkow
    Pages 580-594
  37. Jean-Pierre Talpin
    Pages 595-606
  38. Dennis Volpano, Geoffrey Smith
    Pages 607-621
  39. Judicaël Courant
    Pages 622-636

About these proceedings


This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997.
The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.


Automatentheorie Formale Methoden Komplexität Simulation Software Engineering Softwareentwicklung Verifikation automata theory complexity documentation embedded systems programming testing theoretical computer science verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62781-4
  • Online ISBN 978-3-540-68517-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software