Alok Srivastava, Jeff Boleng
Proceedings of the Annual ACM SIGAda International Conference on Ada
SIGAda, 2010.

@proceedings{SIGAda-2010,
	address       = "Fairfax, Virginia, USA",
	editor        = "Alok Srivastava and Jeff Boleng",
	isbn          = "978-1-4503-0027-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}",
	year          = 2010,
}

Contents (16 items)

10 ×#ada
3 ×#realtime
3 ×#using
2 ×#embedded
2 ×#parallel

SIGAda-2010-Bail #effectiveness #requirements

Effective requirements engineering (WB), pp. 1–2.

SIGAda-2010-Rosen #object-oriented #reliability #using

Use of object oriented technologies in high reliability system (JPR), pp. 3–4.

SIGAda-2010-McCormick #ada #embedded #parallel #realtime

Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.

SIGAda-2010-Pettit #ada #concurrent #design #embedded #realtime #uml #using

Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.

SIGAda-2010-CicaleseSSW #ada

Unmanned systems with Ada and RTEMS (CDTC, JS, RES, RMW), pp. 9–10.

SIGAda-2010-Lane #assurance

Systems software integrity assurance (CL), pp. 11–12.

SIGAda-2010-RasC #runtime

A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.

SIGAda-2010-JemliR #compilation #problem #static analysis #using

A methodology for avoiding known compiler problems using static analysis (MJ, JPR), pp. 23–30.

SIGAda-2010-FongBLGWMW

Wouldn’t it be nice to have software labels (EF, PEB, RFL, SG, LW, GM, JW), pp. 31–32.

SIGAda-2010-Schmidt #ada #case study #experience #integration #java

Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.

SIGAda-2010-Weatherly #ada

Unmanned systems and Ada (RMW), pp. 35–36.

SIGAda-2010-BradleyPZ #ada #development #realtime #using

Real-time system development in ada using LEGO® mindstorms® NXT (PJB, JAdlP, JZ), pp. 37–40.

SIGAda-2010-Moore #ada #parallel

Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.

SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring

Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.

SIGAda-2010-Schonberg #ada #towards

Towards Ada 2012: an interim report (ES), pp. 63–70.

SIGAda-2010-Sward #ada #persistent

The rise, fall and persistence of Ada (RES), pp. 71–74.