SIGAda 2005:
Atlanta,
GA,
USA
John W. McCormick, Leemon C. Baird III (Eds.):
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005.
ACM 2005, ISBN 1-59593-185-6 
- Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé:
Scheduling and memory requirements analysis with AADL.
1-10
- Xavier Sautejeau:
Modeling SPARK systems with UML.
11-16
- Ricky E. Sward, Leemon C. Baird III:
Optimizing the SPARK program slicer.
17-22
- Howard Ausden, Karl A. Nyberg:
Using ASIS to generate C++ bindings.
23-30
- Korochkin Alexandr, Salah Imad, Korochkin Dmitry:
Experimental performance analysis of ada programs in cluster system.
31-36
- Anthony S. Ruocco:
Experiences using SPARK in an undergraduate CS course.
37-40
- Javier Miranda, Edmond Schonberg, Hristian Kirtchev:
The implementation of ada 2005 synchronized interfaces in the GNAT compiler.
41-48
- Gustaf Naeser, Kristina Lundqvist, Lars Asplund:
Temporal skeletons for verifying time.
49-56
- James F. Davis:
The affordable application of formal methods to software engineering.
57-62
- Gustaf Naeser, Lars Asplund, Johan Furunäs:
SafetyChip: a time monitoring and policing device.
63-68
- David G. Mathisen, Robert W. Carey:
Orchestrating shots for the national ignition racility.
69-78
- Knut H. Pedersen, Constantinos Constantinides:
AspectAda: aspect oriented programming for ada95.
79-92
- Matt Mark:
Data sharing between ada and C/C++.
93-102
- Andrew Berns:
A comparison of CORBA and ada's distributed systems annex.
103-108
- George Romanski:
Ada in the avionics industry.
109-114
Copyright © Thu Nov 12 01:19:10 2009
by Michael Ley (ley@uni-trier.de)
