default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTRI-Ada 1990: Baltimore, MD, USA
- Charles B. Engle Jr.:
Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990. ACM 1990, ISBN 978-0-89791-409-3 - James Peters, William J. Hankley:
Proving specifications of tasking systems using Ada/TL. 4-13 - Geoffrey R. Hird:
Towards reuse of verified Ada software. 14-21 - R. A. Lees:
A tailored design language: putting model based formal specification into practice. 22-31 - Allison LeClair, Susan Phillips:
A prototype implementation of the SQL Ada module extension (SAME) method. 34-45 - Marc H. Graham:
Down in the details: lessons learned in interfacing Ada and SQL. 46-53 - David E. Emery:
A prototype implementation of the Ada binding to POSIX. 54-61 - Stowe Boyd:
Ada interface technology (panel). 63 - Frederic H. Wild III:
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++. 66-73 - R. H. Pierce, S. D. Bluck:
Reverse engineering Ada into HOOD. 74-78 - Philip E. Railsback, Louis C. Rose, Ann E. Corrigan:
Effects of Ada on design problems in a discrete event simulator. 79-90 - Ed Seidewitz:
How much object-orientation in Ada? (panel). 91 - Jack H. Schwartz:
Object oriented extensions to Ada: a dissenting opinion. 92-94 - Robert F. Mathis:
Personal thoughts on Ada's object orientation. 95-97 - Brad Balfour:
Position paper. 98-99 - Sidney C. Bailin, Manju Bewtra, J. Mike Moore:
Combining object-oriented and functional paradigms in a design methodology for Ada. 102-113 - Paul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang:
DAda - an Ada preprocessor for functional programming. 114-123 - Harlan D. Mills:
Ada systems. 124-128 - Christophe Ville, Alain Bratel:
A real-time Ada design method based on DoD-STD-2167A. 130-140 - Frank C. Belz, David C. Luckham:
A new approach to prototyping Ada-based hardware/software systems. 141-155 - Kevin E. Carlin, Dino R. Russo, Brad Balfour:
A proposal for a recursive object-oriented life-cycle. 156-167 - Ron Van Huss:
Simulation and design in an object-oriented world: a methodology for large software systems. 170-179 - Robert C. Shock:
Fashioning conceptual constructs in Ada. 180-188 - Norman R. Howes:
Toward a real-time Ada design methodology. 189-203 - Chuck Engle:
Ada education in universities (panel). 205 - Dick Drake, William H. Ett:
Reuse: the two concurrent life cycles paradigm. 208-221 - Kent Allen, William K. Krutz, Daniel P. Olivier:
Software reuse: mining, refining, and designing. 222-226 - Sholom Cohen:
Process and products for software reuse in Ada. 227-239 - Steve Vestal:
On the accuracy of predicting rate monotonic scheduling performance. 244-253 - Nelson H. Weiderman, Patrick Donohoe, Ruth Shapiro:
Benchmarking for deadline-driven computing. 254-264 - Joachim Roos:
The performance of a prototype coprocessor for Ada tasking. 265-279 - Eli Solomon:
The Ada tasking model is adequate for real-time embedded applications (panel). 281 - Paul A. Jennings:
Ada interrupt handlers for hard real-time systems. 284-292 - Daniel Juttelstad, Rich Bergman:
Ada and the Navy next generation computer resources operating system interface standard. 293-297 - D. Wengelin, Lars Asplund:
Application of Ada on a distributed missile control system. 300-312 - F. Dennis Kenyon, Terry J. Westley:
Design of a communication system for a real-time C2 simulator. 313-322 - Devesh Bhatt:
Implementing a distributed fault-tolerant embedded system in Ada. 323-331 - J. F. Barhorst, R. W. Seelye:
Ada run-time system contention measurement. 334-338 - Valérie Lecompte:
Practical use of Ada in a heterogeneous multi-processor computer. 339-345 - Philippe Collard, Andre Goforth, Matthew Marquardt:
Ada as a parallel language for high performance computers: experience and results. 346-351 - Pen-Nan Lee, Ravinder P. Reddy, Yiwei Chen:
Allocation strategies for Ada tasks on hypercube multi-processors. 354-361 - Chia-Shiang Shih, John A. Stankovic:
Distributed deadlock detection in Ada run-time environments. 362-375 - Jingde Cheng:
Task-wait-for graphs and their application to handling tasking deadlocks. 376-390 - Bernard Carré, Johnathan Randall Garnsworthy:
SPARK - an annotated Ada subset for safety-critical programming. 392-402 - John D. Litke:
A systematic approach for implementing fault tolerant software designs in Ada. 403-408 - Gary J. Gregory, Kwei-Jay Lin:
Building real-time imprecise computations in Ada. 409-421 - Geoffrey O. Mendal:
An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel). 426 - Chris Anderson:
Getting Ada into the mainstream. 427 - Kenneth Fussichen:
Getting Ada into the mainstream in the 1990's. 428 - Mark S. Gerhardt:
Sociological concerns about Ada in the 1990s. 429 - S. Tucker Taft:
Ideas for kick-starting the Ada market of the 1990s. 430 - Charles B. Engle Jr.:
The marriage of Ada and Joe College. 431 - T. James Cannaliato, F. Michael Thomas:
A portable communication facility for distributed client/server architectures. 436-442 - Thomas J. Brady:
Ada implementation of a real-time communications system. 443-451 - John Chludzinski, Robert Chi Tau Lai:
An experiment with Graphite. 452-462 - Robert L. McGarvey:
ABET - a standard for Ada in a test environment. 463-470 - Donald J. Reifer:
SoftCost-Ada: user experiences and lessons learned at the age of three. 472-482 - Paul E. McMahon:
Ada: experience it again for the first time. 483-487 - Keith M. Hines:
Ada impacts on a second generation project. 488-492 - Kenneth Fussichen:
Why COBOL programmers refuse Ada. 494-500 - Richard R. Gross, David A. Umphress:
Software engineering as a radical novelty: the Air Force Ada experience. 501-507 - Kourosh R. Dinyari, Thomas M. Johndrew, Kenneth J. Lamarche:
Managing Ada development risk in a non-Ada-based workstation environment. 508-516 - Erhard Ploedereder:
Status of Ada then and now (panel). 517-518 - William Carlson:
Language design and standardization. 519 - Larry E. Druffel:
Ada-oriented software engineering environments. 520-521 - Robert F. Mathis:
People, events, and technology insertion in the Ada program. 522-523 - Virginia L. Castor:
Ada policy. 524-525 - John P. Solomond:
Ada compiler evaluation. 526-527 - Dan Conners:
Selecting an Ada contractor - one way that worked. 530-542 - Judah Mogilensky:
Future approaches to software procurement. 543-550 - Walker E. Royce:
Pragmatic quality metrics for evolutionary software development models. 551-565 - Judah Mogilensky:
Barriers to Ada adoption: have they changed? (panel). 567 - John P. Solomond:
Current and future trends in compiler validation and evaluation (invited presentation). 570 - S. Daniel Lee:
Toward the efficient implementation of expert systems in Ada. 571-580 - Donald G. Krantz:
Ada development system technical and performance requirements (with rationale). 581-595 - Rebecca Abraham:
Compiler evaluation within DoD (panel). 597 - Ralph Crafts:
Ada awareness issues: in government, Congress, and industry (panel). 599-601 - Daniel Roy:
Ada optimizations - why the user should care (panel). 603 - Lawrence Collingbourne:
Ada optimizations - an embedded systems view. 604-605 - Bevin R. Brett:
Optimisation and performance issues: things the user can do to exploit VAX Ada. 606-607 - Lee Silverthorn:
Ada optimizations - why should a user care? 608-609 - Daniel Burton:
Some effects of coding styles on optimizations. 610-611 - John Foreman, Richard R. Gross:
Track 4 background and purpose. 616-617 - James Ware:
Integrating Ada with existing systems: the ATACC experience. 618 - Kenneth L. James, Gregory J. Saul, David L. Shroads, William F. Zickefoose:
Weirton Steel - Ada in process control. 619 - Dale J. Gaumer, Ronald L. Lawson:
AFATDS - from concept evaluation to full scale development. 620 - Ulf H. Olsson:
Bofors 9LV Mk3 system - developing for maximum software reuse. 621 - Patti J. Hicks, Jennifer M. Taulbee:
LINX - Ada in an open systems architecture. 622 - Michael Springman, Jeffrey L. Richardson:
Command center processing and display system replacement - CCPDS-R. 623 - Julia Ottenweller, Nathan Palmer:
STANFINS: one year later. 624 - Richard T. Gallivan, Tom McMannus:
DIGITAC III digital flight control system. 625 - Alfred Scholldorf:
Reuters: experience with D2000 and Globex. 626
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-23 19:40 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:
