Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Blieberger, Johann (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Strohmeier, Alfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2361
• Θέματα: Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer communication systems.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.
• Φυσική περιγραφή: XIV, 370 p. online resource.
• ISBN: 9783540480464
• ISSN: 0302-9743 ;
• DOI: 10.1007/3-540-48046-3

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.