Greg Gicca, Jeff Boleng (Eds.):
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009.
ACM 2009, ISBN 978-1-60558-475-1
Saint Petersburg, Florida, USA
SIGAda 2009 tutorials
: An introduction to the C# language and .NET infrastructure.
David P. Gluch
: Embedded systems engineering with the AADL: modeling & analysis.
: SPARK: the libre language and toolset for high-assurance software engineering.
Ricky E. Sward
: Service oriented architecture (SOA) concepts and implementations.
: Embedded, hard, real-time systems with Ada.
SIGAda 2009 technical program presentations
Richard B. Schmidt
: An ada retrospective: developing large, mature, reliable systems.
: Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE).
Bruce R. Barkstrom
: On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms.
: Echo: a new approach to formal verification based on Ada.
Alexander S. Mentis
: A robotics API dialect for type-safe robots: translating Myro to Ada.
: Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A.
, Shan Barkataki
: Distributed container: a design pattern for fault tolerance and high speed data exchange.
Jay C. Smart
: A look at Ada from both sides now (a government, and a defense contractor perspective).
Ricky E. Sward
: Georegistration of imagery from unmanned aircraft systems using Ada.