Table of contents

  1. Front Matter
  2. Jean-François Kaufeler
    Pages 1-3
  3. P. David, T. Planche, A. Correge, J. F. Chane
    Pages 21-50
  4. G. Taurisano, I. Williams
    Pages 58-70
  5. Jørgen Bundgaard
    Pages 81-98
  6. Bernt Rognes, Per Ivar Skinderhaug
    Pages 99-110
  7. Jean -Noel Monfort, Vinh Qui Ribal
    Pages 111-123
  8. Sergey Rybin, Alfred Strohmeier, Eugene Zueff
    Pages 139-151
  9. Paul A. Bailes, Paul Burnim, Murray Chapman, Eric Salzman
    Pages 152-163
  10. Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce Tokar
    Pages 164-169
  11. B. Davies, D. A. Rothwell
    Pages 170-177
  12. Kor Molenmaker
    Pages 178-186
  13. Peter E. Obermayer, Georg Schüer, Rudolf Landwehr
    Pages 187-190
  14. Anthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu
    Pages 191-205
  15. Yvon Kermarrec, Laurent Pautet
    Pages 206-216

About these proceedings

Introduction

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.
The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented.

Keywords

Ada Ada 95 Safety-Critical Systems Sicherheitsrelevante Systeme Software Design Software Tools Softwareentwurf design real-time software engineering tools

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0015477
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60757-1
  • Online ISBN 978-3-540-49362-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace