default search action
TRI-Ada 1991: San Jose, CA, USA
- Judy Bamberger:
Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991. ACM 1991, ISBN 978-0-89791-445-1 - James B. Bladen, David Spenhoff, Steven J. Blake:
Ada semantic interface specification (ASIS). 6-15 - Rodney M. Bates, Viswa Santhanam, Donald E. Johnson:
Design and implementation of a multi-tool Ada front end. 16-21 - Peter Dencker:
Debugging of optimized Ada code. 22-31 - Mike Cochran, Hassan Gomaa:
Validating the ADARTS software design method for real-time systems. 33-44 - Vincent Encontre:
SDL: a standard language for Ada real-time applications. 45-53 - Hansheng Chen, Yuneng Chen, Deiqui Shen, Lin Xu, Hanming Jiang, Ren Shi:
Experiences in developing an Ada cross compiler. 54-62 - George H. Marschalk IV:
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications. 64-74 - Robert Steigerwald, Gary Hughes, Valdis Berzins:
CAPS as a requirements engineering tool. 75-83 - Charles R. Grauling:
Pilot Command Center Testbed development environment: a better way to develop C3 systems. 84-95 - Belén de Vicente, Alejandro Alonso, Jorge Amador:
Dynamic software replacement model and its Ada implementation. 97-107 - Magnus Sjöland, Rune Thyselius, Barbro Sjöland:
Adam, an Ada simulation library. 108-115 - Xianzhong Liang, Zhenyu Wang:
Ada-based support for abstraction, encapsulation and unit hierarchy. 116-126 - Stefan Asserhäll:
A microprocessor with Ada real time support. 127-131 - Kari Kruempel:
Ada and CMS-2 cohabitation: A transition method for U.S. Navy realtime tactical systems. 132-140 - Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota:
Building distributed Ada applications from specifications and functional components. 143-154 - Haruhiko Nishida, Takumi Itoh, Ryuji Nakayama:
Distribution of Ada tasks onto a heterogeneous environment. 155-165 - Michael Hind, Edmond Schonberg:
Efficient loop-level parallelism in Ada. 166-179 - Taleb Bizri, Richard Knowles, Richard Crawford:
A three level Ada interface to a commercial database. 180-186 - David A. Rosenfeld:
Supporting packed decimal in Ada. 187-190 - Pamela S. Kimminau, Russell J. Graves:
Promoting Ada at the National Security Agency. 191-197 - John A. Anderson, John D. Sheffler, Elaine S. Ward:
Manageable object-oriented development: abstraction, decomposition, and modeling. 199-212 - Brad Balfour:
The evolution of an object oriented development method. 213-223 - Jeffrey L. Richardson:
Object based data engineering: the necessary evil of Ada development. 224-233 - Noah S. Prywes, Evan D. Lock, Xiang Ge:
Automatic abstraction of real-time software and re-implementation in Ada. 238-247 - Robert Steigerwald, Valdis Berzins:
Normal forms for algebraic specifications of reusable Ada packages. 248-256 - Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft:
Ada and SQL. 257-266 - John W. Bailey, Victor R. Basili:
The software-cycle models for re-engineering and reuse. 267-281 - Eric W. Booth, Michael E. Stark:
Designing configurable software; compass implementation concepts. 282-293 - Anneliese von Mayrhauser:
AMT - the Ada maintenance toolchest. 294-299 - Chase Dane:
Large development teams and the Ada library or who recompiled the #%$@!& Ada library. 301-310 - Kenneth C. Elsom:
Grow: an APSE stress tester. 311-319 - S. M. Austin, D. R. Wilkins, Brian A. Wichmann:
An Ada program test generator. 320-325 - Stuart Lewin, Kirk Beitz, Christopher Byrnes, Michael Hardy, Rich Hilliard, Craig Warsaw:
Ada and the X Window System. 327-332 - Jun Shen, Gordon V. Cormack:
Automatic instantiation in Ada. 338-346 - Stephen J. Goldsack, Colin Atkinson:
DRAGOON: a tool for the Ada programmer. 348-359 - Takayuki Hagihara:
Ada in Japan. 367-375 - Lisa Brownsword, Rick McUmber:
Applying the iterative development process to large 2167A Ada projects. 378-386 - Richard W. Root, Gerard LaCroix, Michael Springman:
Management challenges and techniques on a large Ada project. 387-396 - Virginia R. Seng:
Ada pilot project at HQ Pacific Air Forces: lessons learned during development. 397-406 - Yvonne LaMarr, William E. Fravel Jr.:
Software independent verification and validation: a process perspective. 408-417 - Kent Thackrey, John Wright:
Experience tracking software development progress on a large Ada project (a window into the development process). 418-424 - Charles R. Snyder:
System engineering impact on software development. 425-431 - William K. Krutz, Kent Allen, Daniel P. Olivier:
The costs related to making software reusable: experience from a real project. 437-443 - Richard E. Copra, Joseph R. Vogl:
Gun turret drive stabilization system for the M1A2. 448-454 - David Field, Bryan Cordell, Gaynor Murray, Geoff Cram, Richard Patrick:
US Naval airship. 457-459 - J.-M. Lippens, J. Arnol:
A large on-board real time system in submarines. 461 - Thomas D. Fenton, Bart Jeffcoat:
Development of the Standard Army Ammunition System. 462-463 - A. Nico Habermann:
Ada and beyond. 466-474 - John A. Henry:
AdaTRAN as a teaching tool. 476-483 - H. Heide, A. Lindheim, W. P. Selfridge:
SPTP: the Software Process Training Program. 485-496 - Miguel A. de Tomás, Luis Gómez, Antonio Pérez:
Vestal: a tool for teaching concurrency in Ada. 498-509 - John W. McCormick:
Using a model railroad to teach Ada and software engineering. 511-514 - Jean Francois Wets:
Thomson-CSF and Ada for ATC: An experience of eight years. 516-529 - Marianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond:
The first 100 days of Ada. 531-539
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-27 20:33 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: