June 5 2008, London, UK
User Experience of Tools for Safety-Critical Systems
Organized by the Safety-Critical Systems Club, this event will focus on first-hand experience of applying tools to the development of safety-critical systems.
AdaCore is the major sponsor of this event.June 17-19, Ottawa, Canada
GCC Developers’ Summit
AdaCore is a major sponsor of this event and will be presenting an “Ada Compiler Tutorial”.16-20 June 2008, Venice, Italy
Ada Europe 2008, 13th International Conference on Reliable Software Technologies
AdaCore will present a number of papers, a tutorial, and will chair a discussion panel. AdaCore will also be exhibiting at this event.
Papers:
“A Comparison of the Object-Oriented Features of Ada 2005 and Java” - Ben Brosgol
“A Type Safe Database Interface” - Emmanuel Briot and Florian Villoing
“Exceptionally Safe” - Arnaud Charlet, Cyrille Comar, and Franco Gasperoni
Tutorials:
“Languages for Safety-Critical Software: Issues and Assessment” - Ben Brosgol
Panels:
“A Rational Approach to Software Engineering Education or: Java considered Harmful” - Ed Schonberg