default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTRI-Ada 1989: Pittsburgh, PA, USA
- John T. Foreman, Charles B. Engle Jr.:
Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989. ACM 1989, ISBN 978-0-89791-329-4 - Donald G. Krantz:
The Howitzer improvement program: lessons learned. 4-18 - Charles R. Grauling:
Requirements analysis for large Ada programs: lessons learned on CCPDS-R. 19-29 - Stuart Lewin:
Ada implementation of an X Window System server. 30-38 - Mike Goyden:
The software lifecycle with Ada: A command and control application. 40-55 - Charles Plinta, Kenneth J. Lee:
A model solution for the C3I Domain. 56-67 - Tom Archer:
Ada in the Post Deployment Software Support Environment. 68-81 - Michael Springman:
Software design documentation approach for a DOD-STD 2167A Ada project. 93-103 - Michael Springman:
Incremental software test approach for DOD-STD-2167A Ada projects. 104-117 - Charles A. Meyer, Sharon C. Lindholm, Jack L. Jensen:
Experiences in preparing a DOD-STD-2167A software design document for an Ada project. 118-124 - Marco Baldassari, Giorgio Bruno:
An environment for operational software engineering in Ada. 126-146 - Donald J. Reifer:
Workstation/APSE productivity study results. 148-162 - Brad S. Crawford, Daniel R. Baker:
Design issues and team support: experiences of an Ada tool vendor. 172-180 - S. Daniel Lee, Bradley P. Allen:
Deploying expert systems in Ada. 181-190 - George Snyder, David Dunkle, Kirk Beitz:
Retargeting an Ada source level debugger to CICS. 191-201 - David M. Ford, Peter van der Linden:
A network-based development environment for Ada. 204-209 - David Guaspari:
Penelope, an Ada verification system. 216-224 - Doug Bryan:
An algebraic specification of the partial orders generated by concurrent Ada computations. 225-241 - Richard D'Ippolito:
Using models in software engineering. 256-265 - Robert Holibaugh, Sholom Cohen, Kyo Chul Kang, A. Spencer Peterson:
Reuse: where to begin and why. 266-277 - Michael E. Stark, Eric W. Booth:
Using Ada to maximize verbatim software reuse. 278-290 - Erhard Plödereder:
Panel: software reuse - is it working? 291-300 - William B. Frakes, Paul B. Gandel:
Representation methods for software reuse. 302-314 - Beverly J. Kitaoka:
Establishing Ada repositories for reuse. 315-323 - Terry Vogelsong:
Reusable Ada packages for information systems development (RAPID): an operational center of excellence for software reuse. 324-330 - Ralph D. Page:
Holistic case study approach to Ada based software engineering training. 332-341 - James A. Perkins:
Programming practices: analysis of Ada source developed for the air force, army, and navy. 342-554 - Judah Mogilensky, Dennis Stipe:
Applying reusability to software process definition. 355-366 - Judy Bamberger:
What makes a good software engineer? 367-370 - Mark J. Whitcomb, Boyd N. Clark:
Pragmatic definition of an object-oriented development process for Ada. 380-399 - Edward Colbert:
The object-oriented software development method: a practical approach to object-oriented development. 400-415 - Charles A. Meyer, Melissa J. Wallis, Marcia A. Meier:
Experiences in applying the layered virtual machine/object-oriented development methodology to an Ada design effort. 416-422 - Michael Linnig, Donna Forinash:
Ada tasking and parallel processors. 426-438 - Rakesh Jha, Greg Eisenhauer:
Distributed Ada-approach and implementation. 439-449 - Andrew Cholerton:
Ada for closely coupled multiprocessor targets. 450-461 - John R. Ellis:
A periodic Ada control kernel (PACK). 464-473 - Thomas E. Griest, Mary E. Bender:
Limitations on the portability of real time Ada programs. 474-489 - Harold M. Rabbie, David Nelson-Gal:
An operating system for real-time Ada. 490-497 - Walker E. Royce:
Reliable, reusable Ada components for constructing large, distributed multi-task networks: networks architecture services (NAS). 500-516 - E. J. Dowling:
Testing distributed Ada programs. 517-527 - Richard H. Carver, Kuo-Chung Tai:
Deterministic execution testing of concurrent Ada programs. 528-544 - Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen:
Vanna: a visual environment for the design of distributed systems. 546-553 - Mark W. Borger, Mark H. Klein, Robert A. Veltre:
Real-time software engineering in Ada: observations and recommendations. 554-569 - Kevin L. McQuown:
Object oriented design in a real-time multiprocessor environment. 570-588 - Dudrey Smith, Nelson H. Weiderman:
Compiler technology evaluation. 589-594 - Neil Salant:
Comparison of assembly language and Ada for a real-time embedded ECM system. 596-601 - Robert E. Davis:
The selection of an Ada compiler for a real-time embedded avionics application. 602-609 - David G. Strube, Michael J. Wagner:
A quantitative evaluation of interrupt handling capabilities in Ada. 610-621 - Steven E. Keller, John A. Perkins, Kevin O'Leary:
Layering and multiple views of data abstraction in Ada: techniques and experiences. 625-640 - Timothy G. Mattson, Linda J. Shanbeck:
Design and implementation of an Ada mathematics library. 641-649
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
