Lecture Notes in Computer Science

Reliable Software Technologies - Ada-Europe '99

1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings

Editors: Gonzalez Harbour, Michael, de la Puente, Juan A. (Eds.)

Buy this book

eBook $99.00
price for USA
  • ISBN 978-3-540-48753-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-66093-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.

Table of contents (4 chapters)

  • A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects

    Kristina Lundqvist, Lars Asplund, Stephen Michell

    Pages 12-25

  • An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch

    Mike Kamrad, Barry Spinney

    Pages 26-38

  • yaRTI, a Ada 95 HLA Run-Time Infrastructure

    Dominique Canazzi

    Pages 187-198

  • Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches

    Alfred Rosskopf

    Pages 437-449

Buy this book

eBook $99.00
price for USA
  • ISBN 978-3-540-48753-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-66093-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Software Technologies - Ada-Europe '99
Book Subtitle
1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
Editors
  • Michael Gonzalez Harbour
  • Juan A. de la Puente
Series Title
Lecture Notes in Computer Science
Series Volume
1622
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48753-1
DOI
10.1007/3-540-48753-0
Softcover ISBN
978-3-540-66093-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 458
Topics