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
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.