Abstract is missing.
- Ada semantic interface specification (ASIS)James B. Bladen, David Spenhoff, Steven J. Blake. 6-15 [doi]
- Design and implementation of a multi-tool Ada front endRodney M. Bates, Viswa Santhanam, Donald E. Johnson. 16-21 [doi]
- Debugging of optimized Ada codePeter Dencker. 22-31 [doi]
- Validating the ADARTS software design method for real-time systemsMike Cochran, Hassan Gomaa. 33-44 [doi]
- SDL: a standard language for Ada real-time applicationsVincent Encontre. 45-53 [doi]
- Experiences in developing an Ada cross compilerHansheng Chen, Yuneng Chen, Deiqui Shen, Lin Xu, Hanming Jiang, Ren Shi. 54-62 [doi]
- SA-2-Ada: a methodology for deriving Ada designs from structured analysis specificationsGeorge H. Marschalk IV. 64-74 [doi]
- CAPS as a requirements engineering toolRobert Steigerwald, Gary Hughes, Valdis Berzins. 75-83 [doi]
- 3 systemsCharles R. Grauling. 84-95 [doi]
- Dynamic software replacement model and its Ada implementationBelén de Vicente, Alejandro Alonso, Jorge Amador. 97-107 [doi]
- Adam, an Ada simulation libraryMagnus Sjöland, Rune Thyselius, Barbro Sjöland. 108-115 [doi]
- Ada-based support for abstraction, encapsulation and unit hierarchyXianzhong Liang, Zhenyu Wang. 116-126 [doi]
- A microprocessor with Ada real time supportStefan Asserhäll. 127-131 [doi]
- Ada and CMS-2 cohabitation: A transition method for U.S. Navy realtime tactical systemsKari Kruempel. 132-140 [doi]
- Building distributed Ada applications from specifications and functional componentsDennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota. 143-154 [doi]
- Distribution of Ada tasks onto a heterogeneous environmentHaruhiko Nishida, Takumi Itoh, Ryuji Nakayama. 155-165 [doi]
- Efficient loop-level parallelism in AdaMichael Hind, Edmond Schonberg. 166-179 [doi]
- A three level Ada interface to a commercial databaseTaleb Bizri, Richard Knowles, Richard Crawford. 180-186 [doi]
- Supporting packed decimal in AdaDavid A. Rosenfeld. 187-190 [doi]
- Promoting Ada at the National Security AgencyPamela S. Kimminau, Russell J. Graves. 191-197 [doi]
- Manageable object-oriented development: abstraction, decomposition, and modelingJohn A. Anderson, John D. Sheffler, Elaine S. Ward. 199-212 [doi]
- The evolution of an object oriented development methodBrad Balfour. 213-223 [doi]
- Object based data engineering: the necessary evil of Ada developmentJeffrey L. Richardson. 224-233 [doi]
- Automatic abstraction of real-time software and re-implementation in AdaNoah S. Prywes, Evan D. Lock, Xiang Ge. 238-247 [doi]
- Normal forms for algebraic specifications of reusable Ada packagesRobert Steigerwald, Valdis Berzins. 248-256 [doi]
- Ada and SQLBen Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft. 257-266 [doi]
- The software-cycle models for re-engineering and reuseJohn W. Bailey, Victor R. Basili. 267-281 [doi]
- Designing configurable software; compass implementation conceptsEric W. Booth, Michael E. Stark. 282-293 [doi]
- AMT - the Ada maintenance toolchestAnneliese von Mayrhauser. 294-299 [doi]
- Large development teams and the Ada library or who recompiled the #%$@!& Ada libraryChase Dane. 301-310 [doi]
- Grow: an APSE stress testerKenneth C. Elsom. 311-319 [doi]
- An Ada program test generatorS. M. Austin, D. R. Wilkins, Brian A. Wichmann. 320-325 [doi]
- Ada and the X Window SystemStu Lewin, Kirk Beitz, Christopher Byrnes, Michael Hardy, Rich Hilliard, Craig Warsaw. 327-332 [doi]
- Automatic instantiation in AdaJun Shen, Gordon V. Cormack. 338-346 [doi]
- DRAGOON: a tool for the Ada programmerStephen J. Goldsack, Colin Atkinson 0002. 348-359 [doi]
- Ada in JapanTakayuki Hagihara. 367-375 [doi]
- Applying the iterative development process to large 2167A Ada projectsLisa Brownsword, Rick McUmber. 378-386 [doi]
- Management challenges and techniques on a large Ada projectRichard W. Root, Gerard LaCroix, Michael Springman. 387-396 [doi]
- Ada pilot project at HQ Pacific Air Forces: lessons learned during developmentVirginia R. Seng. 397-406 [doi]
- Software independent verification and validation: a process perspectiveYvonne LaMarr, William E. Fravel Jr.. 408-417 [doi]
- Experience tracking software development progress on a large Ada project (a window into the development process)Kent Thackrey, John Wright. 418-424 [doi]
- System engineering impact on software developmentCharles R. Snyder. 425-431 [doi]
- The costs related to making software reusable: experience from a real projectW. K. Krutz, K. Allen, D. P. Olivier. 437-443 [doi]
- Gun turret drive stabilization system for the M1A2Richard E. Copra, Joseph R. Vogl. 448-454 [doi]
- US Naval airshipDavid Field, Bryan Cordell, Gaynor Murray, Geoff Cram, Richard Patrick. 457-459 [doi]
- A large on-board real time system in submarinesJ.-M. Lippens, J. Arnol. 461 [doi]
- Development of the Standard Army Ammunition SystemThomas D. Fenton, Bart Jeffcoat. 462-463 [doi]
- Ada and beyondA. Nico Habermann. 466-474 [doi]
- AdaTRAN as a teaching toolJohn A. Henry. 476-483 [doi]
- SPTP: the Software Process Training ProgramH. Heide, A. Lindheim, W. P. Selfridge. 485-496 [doi]
- Vestal: a tool for teaching concurrency in AdaMiguel A. de Tomás, Luis Gómez, Antonio Pérez. 498-509 [doi]
- Using a model railroad to teach Ada and software engineeringJohn W. McCormick. 511-514 [doi]
- Thomson-CSF and Ada for ATC: An experience of eight yearsJean Francois Wets. 516-529 [doi]
- The first 100 days of AdaMarianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond. 531-539 [doi]