default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd WADAS 1985: Washington, DC, USA
- Michael B. Feldman:
Proceedings of the Second Annual Washington Ada Symposium on Ada - Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, D.C., USA, 1985. ACM 1985, ISBN 978-1-4503-7318-0 - Edward Lieblein:
Government (keynote address) (title only). 1 - Kenneth Bowles:
Industry (keynote address) (title only). 1 - J. C. Helm, T. E. Cook:
Ada implementation in a non-Ada environment. 5-10 - Michael B. Paulkovich, Bill R. Brykczynski:
VISTA: Vitro Software Test Application Program. 11-17 - Joseph J. Johovich:
EEES: the "Manhattan Project" for systems engineering. 19-42 - Joseph D. Houle:
Developing a queueing simulation package in Ada. 45-51 - Mícheál Mac an Airchinnigh:
Computer graphics software in Ada using AdaM. 53-66 - Aryola Chan, Sy Danberg, Terry A. Landers, Anil Nori, John Miles Smith, Stephen Fox:
A database management capability for Ada. 67-92 - Eugen Vasilescu:
Teaching Ada for business students. 95-104 - Nelson H. Weiderman, Catherine W. Johnson:
An animated instructional model for Ada tasking. 105-111 - Alan A. Goerner:
The impact of Ada on software project organization. 113-119 - S. Fujita:
Distributed operating system for robot network (title only). 123 - Frederick H. Daniels, Jonathan A. Lorch:
Applications of Ada in a kidney-dialysis ward. 125-129 - Daniel F. Sterne, M. E. Schmid, M. J. Gralia, T. A. Grobicki, R. A. R. Pearce:
Use of Ada for shipboard embedded applications. 131-136 - Paul Robertson:
OPSAda3: an Ada-based production rule interpreter. 139-146 - Allen Rude:
Translating a research LISP prototype to a formal Ada design prototype. 147-170 - Timothy E. Lindquist, Jeffrey L. Facemire:
Ada-based abstract machine specification of CAIS to generate validation tests. 173-178 - Mitchell J. Bassman, Gerald A. Fisher, Anthony B. Gargaro:
Evaluating the performance efficiency of Ada compilers. 179-194 - Steven E. Keller, John A. Perkins:
Ada measurement based on software quality principles. 195-203
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-12-26 00:58 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:
