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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0030581
  • Copyright Information Springer-Verlag 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
  • About this book