Features
- Cover Type: Paperback with 451 pages
- Published by: Springer
- Edition: 1st Edition July 20, 1999
- Written in: English
- ISBN 10 Number: 3540660933
- ISBN 13 Number: 978-3540660934
-
Book Dimensions:
9.2 x 6.1 x 0.4 inches
- Weighs: 1.4 pounds
Product Description
This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable
software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems,
software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies.
Book Info
Proceedings of the 1999 Ada-Europe International Conference on Reliable
software Technologies held in Santander, Spain, June 7-11, 1999. Softcover.
Search for books at
