SIGAda 2009:
Saint Petersburg, Florida, USAGreg 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 SIGAda 2009 tutorials
export record as
dblp key:
export record as
dblp key:
Ben Brosgol :
An introduction to the C# language and .NET infrastructure.
3-4
export record as
dblp key:
export record as
dblp key:
David P. Gluch :
Embedded systems engineering with the AADL: modeling & analysis.
7-8
export record as
dblp key:
Trevor Jennings :
SPARK: the libre language and toolset for high-assurance software engineering.
9-10
export record as
dblp key:
conf/sigada/CicaleseSSW09 export record as
dblp key:
export record as
dblp key:
Ricky E. Sward :
Service oriented architecture (SOA) concepts and implementations.
15-16
export record as
dblp key:
Pat Rogers :
Embedded, hard, real-time systems with Ada.
17-18
export record as
dblp key:
SIGAda 2009 technical program presentations
export record as
dblp key:
Richard B. Schmidt :
An ada retrospective: developing large, mature, reliable systems.
21-22
export record as
dblp key:
Mark Gardinier :
Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE).
23-30
export record as
dblp key:
conf/sigada/DelangePPKSK09 export record as
dblp key:
export record as
dblp key:
Bruce R. Barkstrom :
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms.
61-72
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
John Knight :
Echo: a new approach to formal verification based on Ada.
85-86
export record as
dblp key:
export record as
dblp key:
Alexander S. Mentis :
A robotics API dialect for type-safe robots: translating Myro to Ada.
91-102
export record as
dblp key:
James Chelini :
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A.
103-104
export record as
dblp key:
export record as
dblp key:
Tong Dinh ,
Shan Barkataki :
Distributed container: a design pattern for fault tolerance and high speed data exchange.
115-118
export record as
dblp key:
Jay C. Smart :
A look at Ada from both sides now (a government, and a defense contractor perspective).
119-120
export record as
dblp key:
Ricky E. Sward :
Georegistration of imagery from unmanned aircraft systems using Ada.
121-126
export record as
dblp key:
data released under the ODC-BY 1.0 license
