Proceedings of the ACM SIGAda Annual International Conference on Ada Technology
SIGAda, 1999.
@proceedings{SIGAda-1999,
address = "Redondo Beach, CA, USA",
publisher = "{ACM}",
title = "{Proceedings of the ACM SIGAda Annual International Conference on Ada Technology}",
year = 1999,
}
Event page: http://www.sigada.org/conf/sigada99/
Contents (31 items)
- SIGAda-1999-Selic #design pattern #realtime
- Architectural patterns for complex real-time systems (BS), p. 1.
- SIGAda-1999-James #ada #distributed
- Redistribution in distributed Ada (SJ), pp. 3–8.
- SIGAda-1999-Botton #ada
- Interfacing Ada 95 to Microsoft COM and DCOM technologies (DB), pp. 9–14.
- SIGAda-1999-LundqvistA #ada #formal method
- A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
- SIGAda-1999-Carpenter #requirements #verification
- Verification of requirements for saftey-critical software (PBC), pp. 23–29.
- SIGAda-1999-PautetQT #corba
- CORBA and CORBA services for DSA (LP, TQ, ST), pp. 31–38.
- SIGAda-1999-Kermarrec #ada #corba #perspective
- CORBA vs. Ada 95 DSA: a programmer’s view (YK), pp. 39–46.
- SIGAda-1999-Carlisle #development #implementation #independence #user interface
- A truly implementation independent GUI development tool (MCC), pp. 47–52.
- SIGAda-1999-Wisniewski #ada
- Transitioning an ASIS application: version 1 to Ada95 2.0 (JRW), pp. 53–65.
- SIGAda-1999-Colket #analysis #realtime #using
- Code analysis of saftey-critical and real-time software using ASIS (WCC), pp. 67–76.
- SIGAda-1999-PautetT #distributed #question #what
- What future for the distributed systems annex? (LP, ST), pp. 77–82.
- SIGAda-1999-BuhlerF #ada #corba #framework #independence #information management #java #platform
- Applying Ada, Java and CORBA for making a command and control information system platform independent (GB, HF), pp. 83–88.
- SIGAda-1999-Tonndorf #ada #programming language #question
- Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
- SIGAda-1999-HulseEUV #architecture #maintenance
- Reducing maintenance costs through the application of modern software architecture principles (CH, SE, MU, LV), pp. 101–110.
- SIGAda-1999-McCormick #ada #education #re-engineering #realtime
- Ada, model railroading, and real-time software engineering education (JWM), pp. 111–112.
- SIGAda-1999-MartinVG #user interface
- Building Tcl-Tk GUIs for HRT-HOOD systems (JCDM, IIV, JMRG), pp. 113–123.
- SIGAda-1999-Lowe #ada #development #embedded #multi
- Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
- SIGAda-1999-Doran #ada #c #low level
- Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
- SIGAda-1999-BallbastreTVC #ada #case study #distributed #experience #realtime #using
- Experiences using Ada in a real-time and distributed laboratory (PB, ST, JViC, AC), pp. 145–155.
- SIGAda-1999-Lopes #ada #overview #perspective #sql
- Ada+SQL — an overview (AVL), pp. 157–162.
- SIGAda-1999-Wang #ada #approach #re-engineering
- Integrating a software engineering approach into an Ada closed laboratory (MW), pp. 163–168.
- SIGAda-1999-BernsteinD #ada #on the fly #optimisation
- Optimizing Ada on the fly (SJB, RSD), pp. 169–179.
- SIGAda-1999-LortzT #abstract syntax tree #ada #c++ #distributed #realtime
- The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program (HAL, TAT), pp. 181–182.
- SIGAda-1999-Lowe99a
- Pinching pennies while losing dollars (TL), pp. 183–193.
- SIGAda-1999-RusanovaK #distributed #parallel #problem #scheduling
- Scheduling problems for parallel and distributed systems (OR, AK), pp. 195–201.
- SIGAda-1999-NeedhamDP #ada #distributed #object-oriented #towards #using
- Towards a distributed object-oriented propagation model using Ada95 (DMN, SAD, TJP), pp. 203–210.
- SIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling
- Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
- SIGAda-1999-Gilchrist #ada
- Attitudes to Ada in the UK high-reliability software sector (plenary session) (IG), p. 221.
- SIGAda-1999-Balfour #corba
- The current state of CORBA (BB), p. 223.
- SIGAda-1999-Boehm #future of #predict #re-engineering
- Predicting the future of computer systems and software engineering (BWB), p. 227.
- SIGAda-1999-Gilchrist99a #ada #overview
- Attitudes to Ada — a market survey (IG), pp. 229–242.
19 ×#ada
6 ×#distributed
5 ×#realtime
4 ×#corba
3 ×#re-engineering
3 ×#using
2 ×#bibliography
2 ×#development
2 ×#formal method
2 ×#independence
6 ×#distributed
5 ×#realtime
4 ×#corba
3 ×#re-engineering
3 ×#using
2 ×#bibliography
2 ×#development
2 ×#formal method
2 ×#independence