Proceedings of the ACM SIGAda Annual International Conference on Ada Technology
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


Proceedings of the ACM SIGAda Annual International Conference on Ada Technology
SIGAda, 1999.

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

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.