


default search action
SIGAda 2010: Fairfax, Virginia, USA
- Alok Srivastava, Jeff Boleng:

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 L. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














