✍ Scribed by Strohmeier, Alfred
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
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
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
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