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 BibTeX

Tutorials

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

Conference program

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