Contact The DL Team Contact Us | Switch to tabbed view

top of pageABSTRACT

An abstract is not available.

top of pageAUTHORS



Author image not provided  Virginia R. Seng

No contact information provided yet.

Bibliometrics: publication history
Publication years1991-1991
Publication count1
Citation Count0
Available for download1
Downloads (6 Weeks)0
Downloads (12 Months)1
Downloads (cumulative)108
Average downloads per article108.00
Average citations per article0.00
View colleagues of Virginia R. Seng

top of pageREFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
"AdaSAGE - An Applications Development System for Ada", Idaho National Engineering Laboratory Report, February 21, 1990.
 
2
AdaSAGE, NESC No. 9441, AdaSAGE Flexible Disk Cartridge Directories, National Energy Software Center Note 90-40, January 30, 1990.
 
3
 
4
 
5
 
6
 
7
Military Standard Defense System Software Dq-velop~menL DoD-STD-2167A. U. S. Department of Defense, February 29, 1988.
 
8
Refcr_cnce Manual for the Ada Proerammine Language. ANSI/MIL-STD-1815A. U. S. Department of Defense, 1983.
 
9

top of pageCITED BY

Citings are not available

top of pageINDEX TERMS

The ACM Computing Classification System (CCS rev.2012)

Note: Larger/Darker text within each node indicates a higher relevance of the materials to the taxonomic classification.

top of pagePUBLICATION

Title TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations table of contents
Chairman Judy Bamberger Software Engineering Institute, Pittsburgh, PA
Pages 397-406
Publication Date1991-12-01 (yyyy-mm-dd)
Sponsor SIGADA ACM Special Interest Group on Ada Programming Language
PublisherACM New York, NY, USA ©1991
ISBN: 0-89791-445-7 Order Number: 825911 doi>10.1145/126551.126592
Conference AdaSIGAda Annual International Conference Ada logo

APPEARS IN
Software

top of pageREVIEWS


Reviews are not available for this item
Computing Reviews logo

top of pageCOMMENTS

Be the first to comment To Post a comment please sign in or create a free Web account

top of pageTable of Contents

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

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us