Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th National Conference on Ada Technology / 4th WADAS 1987: Arlington, VA, USA
- Elmer F. Godwin, Miguel A. Carrio Jr., Teledyne Brown:
Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, WADAS 1987, Arlington, Virginia, USA, 1987. George Washington University 1987 - George C. Harrison:
An automated method of referencing Ada reusable code using lil. 1-7 - Gary Russell:
Experience implementing a reusable data structure component taxonomy. 8-18 - G. Scott Owen, Ross A. Gagliano, Pentti A. Honkanen:
Functional specifications of reusable MIS software in Ada. 19-26 - David W. Embley, Scott N. Woodfield:
A knowledge structure for reusing abstract data types in Ada software production. 27-34 - Will Tracz:
Ada reusability efforts: a survey of the state of the practice. 35-44 - Richard Conn:
The Ada software repository and software reusability. 45-53 - Robert E. Marmelstein:
The Interactive Ada Workstation: a prototype for next generation software environments. 54-62 - Mary E. Biddle:
Methodology in selecting tools for a real-time embedded Ada program. 63-66 - Christian Bonnet, Jean-François Caillet, Barbara Raither:
Debugging concurrent software using a general Ada task state transition model. 67-76 - John E. Thibeault, D. Brian DeGonia:
An Ada symbolic debugger for multiprocessor embedded computer systems. 77-82 - Helen Gill, Thomas J. Smith, Rebecca Bowerman, Chuck Howell, Tana Reagan:
Distributing the CAIS: a technical approach using the MITRE CAIS prototype. 83-88 - Dinesh Gambhir, Rinaldo Digiorgio, Roy S. Freedman:
PADS: a working architecture for a distributed APSE. 89-94 - Jorge L. Díaz-Herrera, C. González, P. Wang:
Development of an operational flight control program in Ada. 95-102 - John C. Knight, Marc E. Rouleau:
Analysis of Ada for a crucial distributed application. 103-110 - Carl F. Schaefer:
Translation of VHDL to Ada. 111-117 - Shantilal N. Shah:
Solution of elliptic partial differential equations using parallel processing and tasks in Ada language. 118-120 - James R. Spiegel:
Interactive discrete event simulation in Ada. 121-125 - David A. Smith:
Mechanisms for abstraction in Ada. 126-132 - Larry Latour:
The role of explicit type management schemes in the implementation of abstract data types in Ada. 133-141 - John A. Perkins, R. S. Gorzela:
Programming paradigms involving exceptions: a software quality approach. 142-150 - Judy Bamberger:
Using Ada for design: what is gained ... what is lost. 151-158 - Donald G. Firesmith:
Should the DOD mandate a standard software development process? 159-167 - Haywood S. Osborne:
The generation of Ada and an associated PDL from a higher-level representation. 168-179 - David A. Feinberg:
Non-technical aspects of using Ada. 180-182 - James V. Chelini:
The impact of the Ada language resource allocation, programmer productivity, and project performance. 183-186 - D. Behnke:
Selection and use of and Ada-based program design language. 187-191 - Mark Marcus, Kirk Sattley, C. Mugur Stefanescu:
Configuration control in an Ada programming support environment. 192-204 - F. Blumberg III, M. McNickle, A. Reedy, D. Stephenson:
A compiler independent approach to test and configuration management for Ada. 205-212 - Mike Stark, Ed Seidewitz:
Towards a general object-oriented Ada lifecycle. 213-222 - Bard S. Crawford:
Building an elevator simulation in Ada using a process oriented methodology and support tool. 223-230 - Carolyn E. Brophy, William W. Agresti, Victor R. Basili:
Lessons learned in use of Ada-oriented design methods. 231-236 - Dana L. Hall:
NASA space station program software plans and status. 237-243 - A. Jouchoux, J. Cowley, R. Davis, E. Hansen, M. Klemp, S. Lasater, D. Mullens, T. Sparn, Graham Tate:
Developing a spacecraft monitor and control system in Ada. 244-248 - David Auty, Norman Cohen:
The testability of Ada programs. 249-252 - Sue LeGrand, John McBride:
Why Ada is appropriate for the space station program. 253-257 - David Rudd:
What is good software and how does Ada support its development? 258-260 - John L. Rymer:
Ada education on the project. 261-263 - Freeman L. Moore:
Ada training for programming embedded systems. 264-268 - Thomas B. Hilburn:
Ada and the study of mathematics. 269-273 - Jagdish C. Agrawal, Shan Manickam:
Comprehensive approach to teaching Ada. 274-276 - John A. Perkins, R. S. Gorzela:
Experience using an automated metrics framework to improve the quality of Ada software. 277-284 - Ronald J. Leach:
Ada software metrics and their limitations. 285-293 - Liqun Wu, Victor R. Basili, Karl Reed:
A structure coverage tool for Ada software systems. 294-303 - Paul Slonaker, Mark S. Smith, Sharon Prizant, Judith M. Giles:
Development of multi-tasking software in Ada - a case study. 304-317 - Victor R. Basili, H. Dieter Rombach:
TAME: tailoring an Ada Measurement Environment. 318-325 - Richard W. Selby:
Incorporating metrics into a software environment. 326-333 - Tim Porter, Craig King:
Productivity implications of Ada generics and code generation in military formatted message processing. 334-343 - Mitchell L. Springer, Ronald L. Lawson:
The AFATDS data management software system. 344-353 - Matt Narotam, Mike Caffey:
Object-directed development of software using Ada. 354-359 - Thomas J. Wheeler:
Object data bases and Ada. 360-366 - John E. Newton, Frank D. Kirschner:
Ada's role in Air Force Software architecture for the 1990s. 367-376 - Steven Holtsberg:
Formal semantics of the data types of Ada: abridged version. 377-389 - Elizabeth E. Katz, Victor R. Basili:
Examining the modularity of Ada programs. 390-396 - Paul L. Baker:
Partial automation of code generation with Ada prespecifications. 397-404 - Willie L. Waters:
A basic expert system tool in Ada. 405-410 - Steven P. Wartik:
File structures for object-oriented software development. 411-419 - Hassan N. El-Ghoroury, Philip R. LaBarbera, John Bollenbacher:
Software portability in embedded, distributed systems. 420-431 - James E. Walker, S. Denise Skyles, Pamela Gilliam:
A practical experience with Ada* portability. 432-435 - Karen E. Sivley:
Experience and lessons learned in transporting Ada software. 436-440 - Jeffrey Becker, Robert T. Goettge:
Ada performance issues for real-time systems. 441-446 - David Auty, Norman Cohen:
Establishing an Ada runtime benchmarking capability. 447-451 - Thomas L. Chen, Lujoye F. Barnes:
Ada processing requirements of parallel processing idioms. 452-458 - Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid:
A methodology for testing concurrent Ada programs. 459-464 - Prasad Vishnubhotla:
Parallelizing Ada procedures. 465-471 - Dave Stevenson:
Architectural support for Ada in the rational environment (panel session). 474-478 - Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox:
DIANA (panel session): an intermediate representation language for Ada. 479-485 - Robert A. Conti:
Critical run-time design tradeoff sin an Ada implementation (panel session). 486-495
a service of 
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-04-30 20:59 CEST 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:
