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
- Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson:
Multilanguage programming with ada in the .Net environment.
1-3
- Peter Amey, Roderick Chapman:
Static verification and extreme programming.
4-9
- Ricky E. Sward, A. T. Chamillard:
AdaSlicer: an Ada program slicer.
10-16
- 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
- Dhavy Gantsou:
A DSA model for data access in self-organizing systems.
25-28
- Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers:
European air traffic flow management: porting a large application to GNU/linux.
29-37
- Jean-Pierre Rosen:
Experiences in developing a typical web/database application.
38-48
- Jordi Marco, Xavier Franch:
A framework for designing and implementing the Ada standard container library.
49-61
- Baowen Xu, Zhenqiang Chen, Jianjun Zhao:
Measuring cohesion of packages in Ada95.
62-67
- Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson:
The case for Ada at the USAF academy.
68-70
- Eric Potratz:
A practical comparison between Java and Ada in implementing a real-time embedded system.
71-83
Copyright © Mon Nov 2 21:09:06 2009
by Michael Ley (ley@uni-trier.de)