Reliable Software Technologies -- Ada-Europe 2003
Download or Read eBook Reliable Software Technologies -- Ada-Europe 2003 PDF written by Jean-Pierre Rosen and published by Springer Science & Business Media. This book was released on 2003-06-02 with total page 442 pages. Available in PDF, EPUB and Kindle.
| Author | : Jean-Pierre Rosen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 442 |
| Release | : 2003-06-02 |
| ISBN-10 | : 9783540403760 |
| ISBN-13 | : 3540403760 |
| Rating | : 4/5 (60 Downloads) |
Book Synopsis Reliable Software Technologies -- Ada-Europe 2003 by : Jean-Pierre Rosen
Book excerpt: The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design.
