Alok Srivastava, Leemon C. Baird III
Proceedings of the Annual ACM SIGAda International Conference on Ada
SIGAda, 2007.

@proceedings{SIGAda-2007,
	address       = "Fairfax, Virginia, USA",
	editor        = "Alok Srivastava and Leemon C. Baird III",
	isbn          = "978-1-59593-876-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}",
	year          = 2007,
}

Contents (24 items)

12 ×#ada
10 ×#named
5 ×#using
2 ×#architecture
2 ×#compilation
2 ×#parallel
2 ×#question
2 ×#realtime
2 ×#static analysis

SIGAda-2007-Barnes #ada #named

SA1: introducing the best of ada (JGPB), p. 1.

SIGAda-2007-Brosgol #assessment #named #safety

SA2: languages for safety-critical software: issues and assessment (BMB), p. 2.

SIGAda-2007-Barnes07a #ada #named

SP1: introducing the best of ada 2005 (JGPB), p. 3.

SIGAda-2007-Sward #ada #architecture #named #using #web #web service

SP2: exposing ada web services using a service-oriented architecture (SOA) (RES), p. 4.

SIGAda-2007-Chapman #named #security

MF1: security by construction (RC), pp. 5–6.

SIGAda-2007-McCormick #ada #named #parallel #realtime

MA1: real-time and parallel processing in ada (JWM), p. 7.

SIGAda-2007-Singhoff #ada #named #realtime #scheduling

MP1: real time scheduling theory and its use with ada (FS), p. 8.

SIGAda-2007-Jarzombek #assurance #named

Wanted: software with assurance built-in (JJ), pp. 9–10.

SIGAda-2007-Maurer #ada #proving #using

Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.

SIGAda-2007-PukiteL #design #logic #simulation #using

Generic discrete event simulations using DEGAS: application to logic design and digital signal processing (PP, LL), pp. 27–40.

SIGAda-2007-SinghoffP #analysis #modelling

AADL modeling and analysis of hierarchical schedulers (FS, AP), pp. 41–50.

SIGAda-2007-LauW #component

Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.

SIGAda-2007-HallmarkR #ada #evaluation #evolution #game studies #parallel

Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.

SIGAda-2007-Sward07a #ada #architecture #using

Using ada in a service-Ooriented architecture (RES), pp. 63–68.

SIGAda-2007-OLeary #ada

Federal aviation administration and Ada (JO), pp. 69–70.

SIGAda-2007-CarlisleB #ada #c #network

Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.

SIGAda-2007-Lau #imperative #reasoning #source code #using

Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.

SIGAda-2007-Nyberg #manycore #question

Multi-core + multi-tasking = multi-opportunity? (KAN), pp. 79–82.

SIGAda-2007-Dewar #compilation #static analysis

The compiler as a static analysis tool (RBKD), pp. 83–88.

SIGAda-2007-NettletonIM #ada #compilation #towards

Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.

SIGAda-2007-Dewar07a #named #question

Birds-of-a-feather: where would you like to see GNAT go? (RD), pp. 97–98.

SIGAda-2007-Grosman #ada #development #eclipse #named #tool support

Hibachi: the eclipse ada development toolset (TG), p. 99.

SIGAda-2007-Chapman07a #correctness

Correctness by construction: putting engineering (back) into software (RC), p. 100.

SIGAda-2007-Black #static analysis

Static analysis summit II (PEB), pp. 101–107.