𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Modeling AADL Data Communication with BIP

✍ Scribed by Kordon, Fabrice; Kermarrec, Yvon

Book ID
121389802
Publisher
Springer Berlin Heidelberg
Year
2009
Tongue
English
Weight
344 KB
Edition
1
Category
Article
ISBN
3642019242

No coin nor oath required. For personal study only.

✦ 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.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Formal Verification of AADL Specifications in the Topcased Environment
✍ Kordon, Fabrice; Kermarrec, Yvon 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 274 KB

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 confe

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable Software Technologies Ada-Europe 2000 Volume 1845 || On Persistent and Reliable Streaming in Ada
✍ Keller, Hubert B.; Plödereder, Erhard 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 156 KB

This Book Constitutes The Proceedings Of The 23rd Ada-europe International Conference On Reliable Software Technologies, Ada-europe 2018, Held In Lisbon, Portugal, In June 2018. The 10 Papers Presented In This Volume Were Carefully Reviewed And Selected From 27 Submissions. They Were Organized In To