Table of Contents

• Proving specifications of tasking systems using Ada/TLJames Peters, William J. Hankley. 4-13 [doi]
• Towards reuse of verified Ada softwareGeoffrey R. Hird. 14-21 [doi]
• A tailored design language: putting model based formal specification into practiceR. A. Lees. 22-31 [doi]
• A prototype implementation of the SQL Ada module extension (SAME) methodAllison LeClair, Susan Phillips. 34-45 [doi]
• Down in the details: lessons learned in interfacing Ada and SQLMarc H. Graham. 46-53 [doi]
• A prototype implementation of the Ada binding to POSIXDavid E. Emery. 54-61 [doi]
• Ada interface technology (panel)Stowe Boyd. 63 [doi]
• A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++Frederic H. Wild III. 66-73 [doi]
• Reverse engineering Ada into HOODR. H. Pierce, S. D. Bluck. 74-78 [doi]
• Effects of Ada on design problems in a discrete event simulatorPhilip E. Railsback, Louis C. Rose, Ann E. Corrigan. 79-90 [doi]
• How much object-orientation in Ada? (panel)Ed Seidewitz. 91 [doi]
• Object oriented extensions to Ada: a dissenting opinionJack H. Schwartz. 92-94 [doi]
• Personal thoughts on Ada's object orientationRobert F. Mathis. 95-97 [doi]
• Position paperBrad Balfour. 98-99 [doi]
• Combining object-oriented and functional paradigms in a design methodology for AdaSidney C. Bailin, Manju Bewtra, J. Mike Moore. 102-113 [doi]
• DAda - an Ada preprocessor for functional programmingPaul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang 0003. 114-123 [doi]
• Ada systemsHarlan D. Mills. 124-128 [doi]
• A real-time Ada design method based on DoD-STD-2167AChristophe Ville, Alain Bratel. 130-140 [doi]
• A new approach to prototyping Ada-based hardware/software systemsFrank C. Belz, David C. Luckham. 141-155 [doi]
• A proposal for a recursive object-oriented life-cycleKevin E. Carlin, Dino R. Russo, Brad Balfour. 156-167 [doi]
• Simulation and design in an object-oriented world: a methodology for large software systemsRon Van Huss. 170-179 [doi]
• Fashioning conceptual constructs in AdaRobert C. Shock. 180-188 [doi]
• Toward a real-time Ada design methodologyNorman R. Howes. 189-203 [doi]
• Ada education in universities (panel)Chuck Engle. 205 [doi]
• Reuse: the two concurrent life cycles paradigmDick Drake, William H. Ett. 208-221 [doi]
• Software reuse: mining, refining, and designingKent Allen, William K. Krutz, Daniel P. Olivier. 222-226 [doi]
• Process and products for software reuse in AdaSholom Cohen. 227-239 [doi]
• On the accuracy of predicting rate monotonic scheduling performanceSteve Vestal. 244-253 [doi]
• Benchmarking for deadline-driven computingNelson H. Weiderman, Patrick Donohoe, Ruth Shapiro. 254-264 [doi]
• The performance of a prototype coprocessor for Ada taskingJoachim Roos. 265-279 [doi]
• The Ada tasking model is adequate for real-time embedded applications (panel)Eli Solomon. 281 [doi]
• Ada interrupt handlers for hard real-time systemsPaul A. Jennings. 284-292 [doi]
• Ada and the Navy next generation computer resources operating system interface standardDaniel Juttelstad, Rich Bergman. 293-297 [doi]
• Application of Ada on a distributed missile control systemD. Wengelin, Lars Asplund. 300-312 [doi]
• Design of a communication system for a real-time C2 simulatorF. Dennis Kenyon, Terry J. Westley. 313-322 [doi]
• Implementing a distributed fault-tolerant embedded system in AdaDevesh Bhatt. 323-331 [doi]
• Ada run-time system contention measurementJ. F. Barhorst, R. W. Seelye. 334-338 [doi]
• Practical use of Ada in a heterogeneous multi-processor computerValérie Lecompte. 339-345 [doi]
• Ada as a parallel language for high performance computers: experience and resultsPhilippe Collard, Andre Goforth, Matthew Marquardt. 346-351 [doi]
• Allocation strategies for Ada tasks on hypercube multi-processorsPen-Nan Lee, Ravinder P. Reddy, Yiwei Chen. 354-361 [doi]
• Distributed deadlock detection in Ada run-time environmentsChia-Shiang Shih, John A. Stankovic. 362-375 [doi]
• Task-wait-for graphs and their application to handling tasking deadlocksJingde Cheng. 376-390 [doi]
• SPARK - an annotated Ada subset for safety-critical programmingBernard Carré, Johnathan Randall Garnsworthy. 392-402 [doi]
• A systematic approach for implementing fault tolerant software designs in AdaJohn D. Litke. 403-408 [doi]
• Building real-time imprecise computations in AdaGary J. Gregory, Kwei-Jay Lin. 409-421 [doi]
• An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel)Geoffrey O. Mendal. 426 [doi]
• Getting Ada into the mainstreamChris Anderson. 427 [doi]
• Getting Ada into the mainstream in the 1990'sKenneth Fussichen. 428 [doi]
• Sociological concerns about Ada in the 1990sMark S. Gerhardt. 429 [doi]
• Ideas for kick-starting the Ada market of the 1990sS. Tucker Taft. 430 [doi]
• The marriage of Ada and Joe CollegeCharles B. Engle Jr.. 431 [doi]
• A portable communication facility for distributed client/server architecturesT. James Cannaliato, F. Michael Thomas. 436-442 [doi]
• Ada implementation of a real-time communications systemThomas J. Brady. 443-451 [doi]
• An experiment with GraphiteJohn Chludzinski, Robert Chi Tau Lai. 452-462 [doi]
• ABET - a standard for Ada in a test environmentRobert L. McGarvey. 463-470 [doi]
• SoftCost-Ada: user experiences and lessons learned at the age of threeDonald J. Reifer. 472-482 [doi]
• Ada: experience it again for the first timePaul E. McMahon. 483-487 [doi]
• Ada impacts on a second generation projectKeith M. Hines. 488-492 [doi]
• Why COBOL programmers refuse AdaKenneth Fussichen. 494-500 [doi]
• Software engineering as a radical novelty: the Air Force Ada experienceRichard R. Gross, David A. Umphress. 501-507 [doi]
• Managing Ada development risk in a non-Ada-based workstation environmentKourosh R. Dinyari, Thomas M. Johndrew, Kenneth J. Lamarche. 508-516 [doi]
• Status of Ada then and now (panel)Erhard Ploedereder. 517-518 [doi]
• Language design and standardizationWilliam Carlson. 519 [doi]
• Ada-oriented software engineering environmentsLarry E. Druffel. 520-521 [doi]
• People, events, and technology insertion in the Ada programRobert F. Mathis. 522-523 [doi]
• Ada policyVirginia L. Castor. 524-525 [doi]
• Ada compiler evaluationJohn P. Solomond. 526-527 [doi]
• Selecting an Ada contractor - one way that workedDan Conners. 530-542 [doi]
• Future approaches to software procurementJudah Mogilensky. 543-550 [doi]
• Pragmatic quality metrics for evolutionary software development modelsWalker E. Royce. 551-565 [doi]
• Barriers to Ada adoption: have they changed? (panel)Judah Mogilensky. 567 [doi]
• Current and future trends in compiler validation and evaluation (invited presentation)John P. Solomond. 570 [doi]
• Toward the efficient implementation of expert systems in AdaS. Daniel Lee. 571-580 [doi]
• Ada development system technical and performance requirements (with rationale)Donald G. Krantz. 581-595 [doi]
• Compiler evaluation within DoD (panel)Rebecca Abraham. 597 [doi]
• Ada awareness issues: in government, Congress, and industry (panel)Ralph Crafts. 599-601 [doi]
• Ada optimizations - why the user should care (panel)Daniel Roy. 603 [doi]
• Ada optimizations - an embedded systems viewLawrence Collingbourne. 604-605 [doi]
• Optimisation and performance issues: things the user can do to exploit VAX AdaBevin R. Brett. 606-607 [doi]
• Ada optimizations - why should a user care?Lee Silverthorn. 608-609 [doi]
• Some effects of coding styles on optimizationsDaniel Burton. 610-611 [doi]
• Track 4 background and purposeJohn Foreman, Richard R. Gross. 616-617 [doi]
• Integrating Ada with existing systems: the ATACC experienceJames Ware. 618 [doi]
• Weirton Steel - Ada in process controlKenneth L. James, Gregory J. Saul, David L. Shroads, William F. Zickefoose. 619 [doi]
• AFATDS - from concept evaluation to full scale developmentDale J. Gaumer, Ronald L. Lawson. 620 [doi]
• Bofors 9LV Mk3 system - developing for maximum software reuseUlf H. Olsson. 621 [doi]
• LINX - Ada in an open systems architecturePatti J. Hicks, Jennifer M. Taulbee. 622 [doi]
• Command center processing and display system replacement - CCPDS-RMichael Springman, Jeffrey L. Richardson. 623 [doi]
• STANFINS: one year laterJulia Ottenweller, Nathan Palmer. 624 [doi]
• DIGITAC III digital flight control systemRichard T. Gallivan, Tom McMannus. 625 [doi]
• Reuters: experience with D2000 and GlobexAlfred Scholldorf. 626 [doi]