Proceedings of the Annual ACM SIGAda International Conference on Ada
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Greg Gicca, Jeff Boleng
Proceedings of the Annual ACM SIGAda International Conference on Ada
SIGAda, 2009.

PLT
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.