SIGAda 2005 Final Program
SIGAda 2005
Authors and Papers

Author/Co-Author

Title of Paper

Lars Asplund Temporal Skeltons for Verifying Time
Lars Asplund SafetyChip: A Time Monitoring and Police Device
Howard Ausden Using ASIS to Generate C++ Bindings
Leemon C. Baird III Optimizing the SPARK Program Slicer
Andrew Berns A Comparison of CORBA and Ada's Distributed Systems Annex
Robert Carey Orchestrating Shots for the National Ignition Facility (NIF)
Constantinos Constantinides AspectAda — Aspect Oriented Programming for Ada95
James F. Davis The Affordable Application of Formal Methods to Software Engineering
J. Furunäs SafetyChip: A Time Monitoring and Police Device
Hristian Kirtchev The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Alexandr Korochkin Experimental Performance Analysis of Ada Programs in Cluster System
Dmitry Korochkin Experimental Performance Analysis of Ada Programs in Cluster System
J. Legrand Scheduling and Memory Requirements Analysis with AADL
Kristina Lundqvist Temporal Skeltons for Verifying Time
L. Marcé Scheduling and Memory Requirements Analysis with AADL
Matt Mark Data Sharing Between Ada and C/C++
David Mathisen Orchestrating Shots for the National Ignition Facility (NIF)
Javier Miranda The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Gustaf Naeser SafetyChip: A Time Monitoring and Police Device
Gustaf Naeser Temporal Skeltons for Verifying Time
L. Nana Scheduling and Memory Requirements Analysis with AADL
Karl Nyberg Using ASIS to Generate C++ Bindings
Knut Pedersen AspectAda — Aspect Oriented Programming for Ada95
Anthony S. Ruocco Experiences Using SPARK in an Undergraduate CS Course
Imad Salah Experimental Performance Analysis of Ada Programs in Cluster System
Xavier Sautejeau Modeling SPARK Systems with UML
Edmond Schonberg The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Frank Singhoff Scheduling and Memory Requirements Analysis with AADL
Ricky E. Sward Optimizing the SPARK Program Slicer

Back to Main Page Back to Main Page
last updated 11 November 2005 - cgr