SIGAda 2005: Atlanta, GA, USA

• Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé:
  Scheduling and memory requirements analysis with AADL. 1-10
  Electronic Edition (ACM DL) BibTeX
• Xavier Sautejeau:
  Modeling SPARK systems with UML. 11-16
  Electronic Edition (ACM DL) BibTeX
• Ricky E. Sward, Leemon C. Baird III:
  Optimizing the SPARK program slicer. 17-22
  Electronic Edition (ACM DL) BibTeX
• Howard Ausden, Karl A. Nyberg:
  Using ASIS to generate C++ bindings. 23-30
  Electronic Edition (ACM DL) BibTeX
• Korochkin Alexandr, Salah Imad, Korochkin Dmitry:
  Experimental performance analysis of ada programs in cluster system. 31-36
  Electronic Edition (ACM DL) BibTeX
• Anthony S. Ruocco:
  Experiences using SPARK in an undergraduate CS course. 37-40
  Electronic Edition (ACM DL) BibTeX
• Javier Miranda, Edmond Schonberg, Hristian Kirtchev:
  The implementation of ada 2005 synchronized interfaces in the GNAT compiler. 41-48
  Electronic Edition (ACM DL) BibTeX
• Gustaf Naeser, Kristina Lundqvist, Lars Asplund:
  Temporal skeletons for verifying time. 49-56
  Electronic Edition (ACM DL) BibTeX
• James F. Davis:
  The affordable application of formal methods to software engineering. 57-62
  Electronic Edition (ACM DL) BibTeX
• Gustaf Naeser, Lars Asplund, Johan Furunäs:
  SafetyChip: a time monitoring and policing device. 63-68
  Electronic Edition (ACM DL) BibTeX
• David G. Mathisen, Robert W. Carey:
  Orchestrating shots for the national ignition racility. 69-78
  Electronic Edition (ACM DL) BibTeX
• Knut H. Pedersen, Constantinos Constantinides:
  AspectAda: aspect oriented programming for ada95. 79-92
  Electronic Edition (ACM DL) BibTeX
• Matt Mark:
  Data sharing between ada and C/C++. 93-102
  Electronic Edition (ACM DL) BibTeX
• Andrew Berns:
  A comparison of CORBA and ada's distributed systems annex. 103-108
  Electronic Edition (ACM DL) BibTeX
• George Romanski:
  Ada in the avionics industry. 109-114
  Electronic Edition (ACM DL) BibTeX