John W. McCormick, Leemon C. Baird III
Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
SIGAda, 2005.

@proceedings{SIGAda-2005,
	address       = "Atlanta, Georgia, USA",
	editor        = "John W. McCormick and Leemon C. Baird III",
	isbn          = "1-59593-185-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies}",
	year          = 2005,
}

Contents (15 items)

6 ×#ada
2 ×#analysis
2 ×#c++
2 ×#named
2 ×#using

SIGAda-2005-SinghoffLNM #analysis #memory management #requirements #scheduling

Scheduling and memory requirements analysis with AADL (FS, JL, LN, LM), pp. 1–10.

SIGAda-2005-Sautejeau #modelling #uml

Modeling SPARK systems with UML (XS), pp. 11–16.

SIGAda-2005-SwardB #optimisation #slicing

Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.

SIGAda-2005-AusdenN #c++ #using

Using ASIS to generate C++ bindings (HA, KAN), pp. 23–30.

SIGAda-2005-AlexandrID #ada #analysis #clustering #performance #source code

Experimental performance analysis of ada programs in cluster system (KA, SI, KD), pp. 31–36.

SIGAda-2005-Ruocco #case study #experience #using

Experiences using SPARK in an undergraduate CS course (ASR), pp. 37–40.

SIGAda-2005-MirandaSK #ada #compilation #implementation #interface

The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.

SIGAda-2005-NaeserLA #verification

Temporal skeletons for verifying time (GN, KL, LA), pp. 49–56.

SIGAda-2005-Davis #formal method #re-engineering

The affordable application of formal methods to software engineering (JFD), pp. 57–62.

SIGAda-2005-NaeserAF #monitoring #named

SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.

SIGAda-2005-MathisenC

Orchestrating shots for the national ignition racility (DGM, RWC), pp. 69–78.

SIGAda-2005-PedersenC #ada #aspect-oriented #named #programming

AspectAda: aspect oriented programming for ada95 (KHP, CC), pp. 79–92.

SIGAda-2005-Mark #ada #c #c++

Data sharing between ada and C/C++ (MM), pp. 93–102.

SIGAda-2005-Berns #ada #comparison #corba #distributed

A comparison of CORBA and ada’s distributed systems annex (AB), pp. 103–108.

SIGAda-2005-Romanski #ada #industrial

Ada in the avionics industry (GR), pp. 109–114.