Ricky E. Sward, Michael Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng
Proceedings of the Annual ACM SIGAda International Conference on Ada
SIGAda, 2011.

@proceedings{SIGAda-2011,
	address       = "Denver, Colorado, USA",
	editor        = "Ricky E. Sward and Michael Feldman and Dan Eilers and Jean-Pierre Rosen and Frank Singhoff and Julien Delange and Mark Gardinier and Karl A. Nyberg and Jeff Boleng",
	isbn          = "978-1-4503-1028-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}",
	year          = 2011,
}

Contents (19 items)

9 ×#ada
3 ×#analysis
3 ×#parallel
2 ×#embedded
2 ×#execution
2 ×#how
2 ×#implementation
2 ×#quality
2 ×#safety
2 ×#standard

SIGAda-2011-BrosterC #embedded #how #reliability

How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.

SIGAda-2011-SwardB #architecture #concept #implementation

Service-oriented architecture (SOA)concepts and implementations (RES, JB), pp. 3–4.

SIGAda-2011-Brosgol #named #safety #standard

Do-178c: the next avionics safety standard (BMB), pp. 5–6.

SIGAda-2011-AbrahamCP #ada #analysis #quality

Improving quality of Ada software with range analysis (JA, JC, CP), pp. 7–8.

SIGAda-2011-Feldman #ada

Introduction to Ada (MF), pp. 9–10.

SIGAda-2011-Taft #implementation #parallel #specification

Experimenting with parasail: parallel specification and implementation language (STT), pp. 11–12.

SIGAda-2011-Rosen #ada #design #standard

Designing and checking coding standards for ada (JPR), pp. 13–14.

SIGAda-2011-McCormickS #embedded #realtime

Building embedded real-time applications (JWM, FS), pp. 15–16.

SIGAda-2011-Booch #ada

Everything i know i learned from ada (GB), pp. 17–18.

SIGAda-2011-AliP #ada #parallel #programming

A parallel programming model for ada (HIA, LMP), pp. 19–26.

SIGAda-2011-Moore #parallel #recursion #stack

Stack safe parallel recursion with paraffin (BJM), pp. 27–34.

SIGAda-2011-RosenMT #ada #how

How to make Ada go “viral” (JPR, BM, STT), pp. 35–36.

SIGAda-2011-Carlisle #ada #why

Why i came back to Ada (MCC), pp. 37–38.

SIGAda-2011-PhDJPD

Software vulnerabilities precluded by spark (JLT, FDJ, PEB, CED), pp. 39–46.

SIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using

Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.

SIGAda-2011-GaudelSPRDL #ada #analysis #design pattern #pattern matching #pattern recognition #performance #recognition

An Ada design pattern recognition tool for AADL performance analysis (VG, FS, AP, SR, PD, JL), pp. 61–68.

SIGAda-2011-AbrahamCP11a #ada #analysis #quality

Improving quality of Ada software with range analysis (JA, JC, CP), pp. 69–74.

SIGAda-2011-EilersK #execution #testing

Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.

SIGAda-2011-Rogers #safety

Language choice for safety critical applications (JSR), pp. 81–90.