default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGAda 2009: Saint Petersburg, Florida, USA
- Greg Gicca, Jeff Boleng:
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
- Michael B. Feldman:
Introduction to Ada. 1-2 - Ben Brosgol:
An introduction to the C# language and .NET infrastructure. 3-4 - Jeanne L. Murtagh, Drew Hamilton:
How Ada object orientation works. 5-6 - David P. Gluch:
Embedded systems engineering with the AADL: modeling & analysis. 7-8 - Trevor Jennings:
SPARK: the libre language and toolset for high-assurance software engineering. 9-10 - Cynthia Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly:
Unmanned systems and Ada. 11-12 - John W. McCormick:
Ada for real-time and parallel processing. 13-14 - Ricky E. Sward:
Service oriented architecture (SOA) concepts and implementations. 15-16 - Pat Rogers:
Embedded, hard, real-time systems with Ada. 17-18 - Quentin Ochem:
Multi-language programming with Ada. 19-20
SIGAda 2009 technical program presentations
- Richard B. Schmidt:
An ada retrospective: developing large, mature, reliable systems. 21-22 - Mark Gardinier:
Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE). 23-30 - Julien Delange
, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon:
Validate, simulate, and implement ARINC653 systems using the AADL. 31-44 - Sheldon X. Liang, Lyle A. Reibling, Samuel Sambasivam:
"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning. 45-60 - Bruce R. Barkstrom:
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms. 61-72 - Héctor Pérez Tijero, J. Javier Gutiérrez:
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada. 73-78 - Steven M. Lathrop:
Dynamic analysis of branch mispredictions in Ada. 79-84 - John Knight:
Echo: a new approach to formal verification based on Ada. 85-86 - Chad Loseby, Peter Chapin, Carl Brandon:
Use of SPARK in a resource constrained embedded system. 87-90 - Alexander S. Mentis:
A robotics API dialect for type-safe robots: translating Myro to Ada. 91-102 - James V. Chelini:
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A. 103-104 - Samuel Tardieu, Alexis Polti:
Complementing Ada with other programming languages. 105-114 - Tong Dinh, Shan Barkataki:
Distributed container: a design pattern for fault tolerance and high speed data exchange. 115-118 - Jay C. Smart:
A look at Ada from both sides now (a government, and a defense contractor perspective). 119-120 - Ricky E. Sward:
Georegistration of imagery from unmanned aircraft systems using Ada. 121-126 - Jean-Pierre Rosen, S. Tucker Taft:
The new semantic model in ASIS for Ada 2005. 127-132
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
