Table of contents

  1. Front Matter
  2. J. W. de Bakker, E. P. de Vink
    Pages 1-28
  3. Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
    Pages 29-48
  4. G Berry
    Pages 49-49
  5. Ahmed Bouajjani, Joseph Sifakis
    Pages 55-57
  6. Ralf Jungclaus, Gunter Saake, Cristina Sernadas
    Pages 60-82
  7. Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
    Pages 83-98
  8. J. Cazin, P. Cros, R. Jacquart, M. Lemoine, P. Michel
    Pages 120-136
  9. G. Ramalingam, Thomas Reps
    Pages 137-152
  10. A. Bossi, N. Cocco, M. Fabris
    Pages 153-180
  11. Roland Dietrich, Hendrik C. R. Lock
    Pages 201-216
  12. Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa
    Pages 217-234
  13. David A. Wright
    Pages 235-258
  14. Albert Camilleri, Paola Inverardi, Monica Nesi
    Pages 283-296
  15. Ed Brinksma, Bengt Jonsson, Fredrik Orava
    Pages 297-312

About these proceedings

Introduction

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Keywords

Software Engineering inheritance linear optimization logic modeling object operating system programming structured design verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-53981-6
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53981-0
  • Online ISBN 978-3-540-46499-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology