Robert C. Leif, Ricky E. Sward
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, 2003.

@proceedings{SIGAda-2003,
	address       = "San Diego, California, USA",
	editor        = "Robert C. Leif and Ricky E. Sward",
	isbn          = "1-58113-476-2",
	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          = 2003,
}

Contents (11 items)

7 ×#ada
2 ×#implementation
2 ×#programming
2 ×#verification

SIGAda-2003-HumphriesCW #ada #dot-net #multi #programming

Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.

SIGAda-2003-AmeyC #programming #verification

Static verification and extreme programming (PA, RC), pp. 4–9.

SIGAda-2003-SwardC #ada #named #slicing

AdaSlicer: an Ada program slicer (RES, ATC), pp. 10–16.

SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification

Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.

SIGAda-2003-Gantsou #data access #self

A DSA model for data access in self-organizing systems (DG), pp. 25–28.

SIGAda-2003-AllaertCW #linux #migration #scalability

European air traffic flow management: porting a large application to GNU/linux (GA, DC, PW), pp. 29–37.

SIGAda-2003-Rosen #case study #database #experience #web

Experiences in developing a typical web/database application (JPR), pp. 38–48.

SIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard

A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.

SIGAda-2003-XuCZ #ada

Measuring cohesion of packages in Ada95 (BX, ZC, JZ), pp. 62–67.

SIGAda-2003-SwardCFG #ada

The case for Ada at the USAF academy (RES, MCC, BSF, DSG), pp. 68–70.

SIGAda-2003-Potratz #ada #comparison #embedded #implementation #java #realtime

A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.