Advertisement

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
  16. Rainer Gerlich, Mladen Kerep
    Pages 228-243
  17. Marco Battaglia, Giancarlo Savoia
    Pages 244-248
  18. Heinz Schneeweiss, V. Amiot, O. Vix, Peter Dencker
    Pages 249-270
  19. D. Buchs, C. Buffard, P. Racloz
    Pages 284-297
  20. A. Alapide, S. Candia, M. Cinnella, S. Quaranta
    Pages 331-343
  21. Martin Croxford, James Sutton
    Pages 344-354
  22. F. Battini, P. L. Mantovani, M. Mattavelli
    Pages 379-388
  23. Lars Björnfot
    Pages 389-405
  24. Stéphane Barbey
    Pages 406-418
  25. D. De Gabaï
    Pages 444-455
  26. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site