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)
- 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.