John W. McCormick, 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, 2004.

@proceedings{SIGAda-2004,
	address       = "Atlanta, Georgia, USA",
	editor        = "John W. McCormick and Ricky E. Sward",
	isbn          = "1-58113-906-3",
	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          = 2004,
}

Contents (10 items)

5 ×#ada
2 ×#analysis
2 ×#modelling
2 ×#named
2 ×#security

SIGAda-2004-SinghoffLNM #flexibility #framework #named #realtime #scheduling

Cheddar: a flexible real time scheduling framework (FS, JL, LN, LM), pp. 1–8.

SIGAda-2004-Smith #effectiveness

Measuring the effectiveness of ACATS (GTS), pp. 9–12.

SIGAda-2004-Davis #component #information management #lifecycle #security

Information systems security engineering: a critical component of the systems engineering lifecycle (JFD), pp. 13–18.

SIGAda-2004-Lapping #ada #development #modelling

Model driven development with Ada (AL), pp. 19–22.

SIGAda-2004-Anderson #ada #refactoring

A refactoring tool for Ada 95 (PA), pp. 23–28.

SIGAda-2004-SwardC #ada #re-engineering

Re-engineering global variables in Ada (RES, ATC), pp. 29–34.

SIGAda-2004-SoriconeN #algorithm #analysis #comparative #implementation #search-based

Comparative analysis of genetic algorithm implementations (RS, MN), pp. 35–38.

SIGAda-2004-ChapmanH #analysis #data flow #modelling #safety #security

Enforcing security and safety models with an information flow analysis tool (RC, AH), pp. 39–46.

SIGAda-2004-Brown #ada #education #using

Teaching graphics using Ada (CWB), pp. 47–50.

SIGAda-2004-MirandaS #ada #named

GNAT: on the road to Ada 2005 (JM, ES), pp. 51–60.