SIGAda 2010: Fairfax, Virginia, USA

Alok Srivastava, Jeff Boleng (Eds.): Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. ACM 2010, ISBN 978-1-4503-0027-8

Pre-conference tutorials

William Bail:
Effective requirements engineering. 1-2
Jean-Pierre Rosen:
Use of object oriented technologies in high reliability system. 3-4
John W. McCormick:
Ada for parallel, embedded, and real-time applications. 5-6
Robert G. Pettit IV:
Designing real-time, concurrent, and embedded software systems using UML and Ada. 7-8
Cindy Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly:
Unmanned systems with Ada and RTEMS. 9-10

Technical program

Chris Lane:
Systems software integrity assurance. 11-12
Jim Ras, Albert M. K. Cheng:
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. 13-22
Mamdouh Jemli, Jean-Pierre Rosen:
A methodology for avoiding known compiler problems using static analysis. 23-30
Elizabeth Fong, Paul E. Black, Richard F. Leslie, Simson Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams:
Wouldn't it be nice to have software labels. 31-32
Richard B. Schmidt:
Experience report: Ada & Java integration in the FAA's ERAM SWIM program. 33-34
Richard M. Weatherly:
"Unmanned systems and Ada". 35-36
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano:
Real-time system development in ada using LEGO® mindstorms® NXT. 37-40
Brad J. Moore:
Parallelism generics for Ada 2005 and beyond. 41-52
You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Extending Ada to support multi-core based monitoring and fault tolerance. 53-62
Edmond Schonberg:
Towards Ada 2012: an interim report. 63-70
Ricky E. Sward:
The rise, fall and persistence of Ada. 71-74

Last update Fri May 25 08:37:06 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page