Greg Gicca, Jeff Boleng
Proceedings of the Annual ACM SIGAda International Conference on Ada
SIGAda, 2009.
@proceedings{SIGAda-2009,
address = "Saint Petersburg, Florida, USA",
editor = "Greg Gicca and Jeff Boleng",
isbn = "978-1-60558-475-1",
publisher = "{ACM}",
title = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}",
year = 2009,
}
Contents (26 items)
- SIGAda-2009-Feldman #ada
- Introduction to Ada (MBF), pp. 1–2.
- SIGAda-2009-Brosgol #c# #dot-net #framework
- An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.
- SIGAda-2009-MurtaghH #ada #how #object-oriented
- How Ada object orientation works (JLM, DH), pp. 5–6.
- SIGAda-2009-Gluch #analysis #embedded #modelling
- Embedded systems engineering with the AADL: modeling & analysis (DPG), pp. 7–8.
- SIGAda-2009-Jennings #named #re-engineering #tool support
- SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
- SIGAda-2009-CicaleseSSW #ada
- Unmanned systems and Ada (CDTC, JS, RES, RMW), pp. 11–12.
- SIGAda-2009-McCormick #ada #parallel #realtime
- Ada for real-time and parallel processing (JWM), pp. 13–14.
- SIGAda-2009-Sward #architecture #concept #implementation
- Service oriented architecture (SOA) concepts and implementations (RES), pp. 15–16.
- SIGAda-2009-Rogers #ada #embedded #realtime
- Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
- SIGAda-2009-Ochem #ada #multi #programming
- Multi-language programming with Ada (QO), pp. 19–20.
- SIGAda-2009-Schmidt #ada #maturity #reliability #scalability
- An ada retrospective: developing large, mature, reliable systems (RBS), pp. 21–22.
- SIGAda-2009-Gardinier #ada #development #open source #safety
- Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE) (MG), pp. 23–30.
- SIGAda-2009-DelangePPKSK #simulation #using #validation
- Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
- SIGAda-2009-LiangRS #architecture #automation #generative #prototype
- “Automatic Prototype Generating” restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning (SXL, LAR, SS), pp. 45–60.
- SIGAda-2009-Barkstrom #ada #algorithm #concurrent #multi #on the #problem #using
- On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms (BRB), pp. 61–72.
- SIGAda-2009-TijeroG #ada #experience #middleware #policy #scheduling
- Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada (HPT, JJG), pp. 73–78.
- SIGAda-2009-Lathrop #ada #branch #dynamic analysis #predict
- Dynamic analysis of branch mispredictions in Ada (SML), pp. 79–84.
- SIGAda-2009-Knight #ada #approach #named #verification
- Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
- SIGAda-2009-LosebyCB #embedded #using
- Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
- SIGAda-2009-Mentis #ada #api #type safety
- A robotics API dialect for type-safe robots: translating Myro to Ada (ASM), pp. 91–102.
- SIGAda-2009-Chelini #towards
- Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A (JC), pp. 103–104.
- SIGAda-2009-TardieuP #ada #programming language
- Complementing Ada with other programming languages (ST, AP), pp. 105–114.
- SIGAda-2009-DinhB #design pattern #distributed #fault tolerance
- Distributed container: a design pattern for fault tolerance and high speed data exchange (TD, SB), pp. 115–118.
- SIGAda-2009-Smart #ada
- A look at Ada from both sides now (a government, and a defense contractor perspective) (JCS), pp. 119–120.
- SIGAda-2009-Sward09a #ada #using
- Georegistration of imagery from unmanned aircraft systems using Ada (RES), pp. 121–126.
- SIGAda-2009-RosenT #ada #semantics
- The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
