Reliable Software Technologies - Ada-Europe 2004
Download or Read eBook Reliable Software Technologies - Ada-Europe 2004 PDF written by Albert Llamosi and published by Springer Science & Business Media. This book was released on 2004-06 with total page 344 pages. Available in PDF, EPUB and Kindle.
Author | : Albert Llamosi |
Publisher | : Springer Science & Business Media |
Total Pages | : 344 |
Release | : 2004-06 |
ISBN-10 | : 9783540220114 |
ISBN-13 | : 3540220119 |
Rating | : 4/5 (14 Downloads) |
Book Synopsis Reliable Software Technologies - Ada-Europe 2004 by : Albert Llamosi
Book excerpt: This book constitutes the refereed proceedings of the 9th International Conference on Reliable Software Technologies, Ada-Europe 2004, held in Palma de Mallorca, Spain in June 2004. The 23 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 static analysis, distributed systems, real-time systems, reflection and XML, testing, critical systems modeling, scheduling, and application programming interfaces.