Reliable Software Technologies - Ada-Europe 2002

Reliable Software Technologies - Ada-Europe 2002

4.11 - 1251 ratings - Source

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.... [EMS91] [GM83] [GR93] [JPAB00] [KJRP01] [Lis88] [LMWF94] [LS83] [MHL+98] [Mos85] [PJA98] [PJA01] [PSWL95] [Tra95] [WS94] Ada 95 Reference Manual, ISO/8652-1995. ... Camelot and Avalon: A Distributed Transaction Facility.

Title:Reliable Software Technologies - Ada-Europe 2002
Author: Johann Blieberger, Alfred Strohmeier
Publisher:Springer - 2003-08-02

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