✍ Scribed by Asplund, Lars
No coin nor oath required. For personal study only.
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, K.a. Nyberg -- Synchronizing Multiple Clients And Servers / M. Ben-ari -- How To Avoid The Inheritance Anolmaly In Ada / G. Schumacher, W. Nebel -- Inside The Distributed Systems Annex / L. Pautet, S. Tardieu -- Integrating Groups And Transactions : A Fault-tolerant Extension Of Ada / M. Patiño-martínez, R. Jiménez-peris, S. Arévalo -- Implementing And Using Execution Time Clocks In Ada Hard Real-time Applications / M. Gonzáles Harbour [and Others] -- Programming Hard Real-time Systems With Optional Components In Ada / A. Espinosa [and Others] -- Object Oriented Abstractions For Real-time Distributed Systems / S.a. Moody --^ (astro)physical Supercomputing : Ada95 As A Safe, Object Oriented Alternative / M.j. Stift -- Ada 95 For A Distributed Simulation System / H. Hagenauer, W. Pohlman -- Pinrob : A Portable Api For Industrial Robots / M. Gonzáles Harbour [and Others] --quality-for-asis : A Portable Testing Facility For Asis / A. Strohmeier [and Others] -- Ten Years Of Tool Based Ada Compiler Validations : An Experience Report / M. Tonndorf -- A Two-level Matching Mechanism For Object-oriented Class Libraries / S. Araban, A.s.m. Sajeev -- Modern Avionics Requirements For The Distributed Systems Annex / B. Lewis, S. Vestal, D. Mcconnell -- A Case Study In Quantitative Evaluation Of Real-time Software Architectures / J.l. Fernández [and Others] -- Building Modular Communication Systems In Ada : The Simplec̲om Approach / J.m. González-barahona [and Others] -- Symbolic Reaching Definitions Analysis Of Ada Programs / J. Blieberger, B. Burgstaller -- Looking At Code With Your Safety Goggles On / K. Wong --^ The Ravenscar Tasking Profile For High Integrity Real-time Programs / A. Burns, B. Dobbing, G. Romanski -- Guidance On The Use Of Ada95 In High Integrity Systems / S. Mitchell, M. Saaltink -- Ada In The Jas 39 Gripen Flight Control System / B. Frisberg. Lars Asplund (ed.). Includes Bibliographical References And Index.
📜 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