Reliable Software Technologies - Ada-Europe '99

Reliable Software Technologies - Ada-Europe '99

4.11 - 1251 ratings - Source



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.1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings Michael Gonzalez Harbour, Juan A. ... Vardanega, T., van Katwijk, J.: Productive Engineering of Predictable Embedded Real-Time Systems: The Road to Maturity. ... ISO, Ada Reference Manual. ... Inta#39;l Astronautical Congress, International Aeronautical Federation 48( 1997).


Title:Reliable Software Technologies - Ada-Europe '99
Author: Michael Gonzalez Harbour, Juan A. de la Puente
Publisher:Springer - 1999-07-20
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA