SIGAda 2007: Fairfax, Virginia, USA

Alok Srivastava, Leemon C. Baird III (Eds.): Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007. ACM 2007, ISBN 978-1-59593-876-3

Tutorials

John G. P. Barnes:
SA1: introducing the best of ada. 1
Benjamin M. Brosgol:
SA2: languages for safety-critical software: issues and assessment. 2
John G. P. Barnes:
SP1: introducing the best of ada 2005. 3
Ricky E. Sward:
SP2: exposing ada web services using a service-oriented architecture (SOA). 4
Rod Chapman:
MF1: security by construction. 5-6
John W. McCormick:
MA1: real-time and parallel processing in ada. 7
Frank Singhoff:
MP1: real time scheduling theory and its use with ada. 8

Conference program

Joe Jarzombek:
Wanted: software with assurance built-in. 9-10
Ward Douglas Maurer:
Using mathematics to improve ada compiled code, part 2: the proof. 11-26
Paul Pukite, Luke Ludwig:
Generic discrete event simulations using D<scp>EGAS</scp>: : application to logic design and digital signal processing. 27-40
Frank Singhoff, Alain Plantec:
AADL modeling and analysis of hierarchical schedulers. 41-50
Kung-Kiu Lau, Zheng Wang:
Verified component-based software in SPARK: experimental results for a missile guidance system. 51-58
Tyler B. Hallmark, Eugene K. Ressler:
Parallel evolution of game evaluation functions in ada. 59-62
Ricky E. Sward:
Using ada in a service-Ooriented architecture. 63-68
Jeff O'Leary:
Federal aviation administration and ada. 69-70
Martin C. Carlisle, Leemon C. Baird III:
Timing neural networks in C and ada. 71-74
Kung-Kiu Lau:
Using SPARK for a beginner's course on reasoning about imperative programs. 75-78
Karl A. Nyberg:
Multi-core + multi-tasking = multi-opportunity? 79-82
Robert B. K. Dewar:
The compiler as a static analysis tool. 83-88
Chris Nettleton, Wilson Ifill, Colin Marsh:
Towards a demonstrably-correct ada compiler. 89-96
Robert Dewar:
Birds-of-a-feather: where would you like to see GNAT go? 97-98
Tom Grosman:
Hibachi: the eclipse ada development toolset. 99
Rod Chapman:
Correctness by construction: putting engineering (back) into software. 100
Paul E. Black:
Static analysis summit II. 101-107