Abstract is missing.
- Scheduling and memory requirements analysis with AADLFrank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé. 1-10 [doi]
- Modeling SPARK systems with UMLXavier Sautejeau. 11-16 [doi]
- Optimizing the SPARK program slicerRicky E. Sward, Leemon C. Baird III. 17-22 [doi]
- Using ASIS to generate C++ bindingsHoward Ausden, Karl A. Nyberg. 23-30 [doi]
- Experimental performance analysis of ada programs in cluster systemKorochkin Alexandr, Salah Imad, Korochkin Dmitry. 31-36 [doi]
- Experiences using SPARK in an undergraduate CS courseAnthony S. Ruocco. 37-40 [doi]
- The implementation of ada 2005 synchronized interfaces in the GNAT compilerJavier Miranda, Edmond Schonberg, Hristian Kirtchev. 41-48 [doi]
- Temporal skeletons for verifying timeGustaf Naeser, Kristina Lundqvist, Lars Asplund. 49-56 [doi]
- The affordable application of formal methods to software engineeringJames F. Davis. 57-62 [doi]
- SafetyChip: a time monitoring and policing deviceGustaf Naeser, Lars Asplund, Johan Furunäs. 63-68 [doi]
- Orchestrating shots for the national ignition racilityDavid G. Mathisen, Robert W. Carey. 69-78 [doi]
- AspectAda: aspect oriented programming for ada95Knut H. Pedersen, Constantinos Constantinides. 79-92 [doi]
- Data sharing between ada and C/C++Matt Mark. 93-102 [doi]
- A comparison of CORBA and ada s distributed systems annexAndrew Berns. 103-108 [doi]
- Ada in the avionics industryGeorge Romanski. 109-114 [doi]