𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Reliable Software Technologies Ada-Europe 2000 Volume 1845 || On Persistent and Reliable Streaming in Ada

✍ Scribed by Keller, Hubert B.; Plödereder, Erhard

Book ID
111862651
Publisher
Springer Berlin Heidelberg
Year
2000
Tongue
German
Weight
156 KB
Category
Article
ISBN
354045098X

No coin nor oath required. For personal study only.

✦ Synopsis

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 Topical Sections Named: Safety And Security; Ada 202x; Handling Implicit Overhead; Real-time Scheduling; And New Application Domains. .

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe Volume 1411 || Guidance on the use of Ada95 in high integrity systems
✍ Asplund, Lars 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 778 KB

Embedded Opportunities / F. Gasperoni -- Ada+b The Formula For Safety Critical Software Development / P. Chapront -- Porting The Gnat Tasking Runtime System To The Java Virtual Machine / L. Millet, T. Baker -- Automating The Ada Binding Process For Java : How Far Can We Go? / D.e. Emery, R.f. Mathis

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || Transaction Support for Ada
✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 221 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete