![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
TRI-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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.