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

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

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

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.

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.