[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Formal Verification of AADL Specifications in the Topcased Environment

✍ Scribed by Kordon, Fabrice; Kermarrec, Yvon

• Book ID: 121389146
• Publisher: Springer Berlin Heidelberg
• Year: 2009
• Tongue: English
• Weight: 274 KB
• Edition: 1
• Category: Article
• ISBN: 3642019242
• DOI: 10.1007/978-3-642-01924-1_15

✦ Synopsis

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.