SIGAda 2003:
San Diego,
CA,
USA
Robert C. Leif, Ricky E. Sward (Eds.):
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003.
ACM 2003, ISBN 1-58113-476-2 BibTeX
- Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson:
Multilanguage programming with ada in the .Net environment.
1-3
Electronic Edition (ACM DL) BibTeX
- Peter Amey, Roderick Chapman:
Static verification and extreme programming.
4-9
Electronic Edition (ACM DL) BibTeX
- Ricky E. Sward, A. T. Chamillard:
AdaSlicer: an Ada program slicer.
10-16
Electronic Edition (ACM DL) BibTeX
- Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau:
Verifying linear time temporal logic properties of concurrent Ada programs with quasar.
17-24
Electronic Edition (ACM DL) BibTeX
- Dhavy Gantsou:
A DSA model for data access in self-organizing systems.
25-28
Electronic Edition (ACM DL) BibTeX
- Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers:
European air traffic flow management: porting a large application to GNU/linux.
29-37
Electronic Edition (ACM DL) BibTeX
- Jean-Pierre Rosen:
Experiences in developing a typical web/database application.
38-48
Electronic Edition (ACM DL) BibTeX
- Jordi Marco, Xavier Franch:
A framework for designing and implementing the Ada standard container library.
49-61
Electronic Edition (ACM DL) BibTeX
- Baowen Xu, Zhenqiang Chen, Jianjun Zhao:
Measuring cohesion of packages in Ada95.
62-67
Electronic Edition (ACM DL) BibTeX
- Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson:
The case for Ada at the USAF academy.
68-70
Electronic Edition (ACM DL) BibTeX
- Eric Potratz:
A practical comparison between Java and Ada in implementing a real-time embedded system.
71-83
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:37:56 2009
by Michael Ley (ley@uni-trier.de)
