TRI-Ada 1993:
Seattle,
Washington,
USA
Conference Proceedings on TRI-Ada '93,
September 18-23,
1993,
Seattle,
Washington,
USA. ACM,
1993
- Mike Downs, Judy Duffy, Karen Mackey, Luke Teyssier, Chris Tonas:
Using X with the ADA Mind-Set.
20-28
Electronic Edition (ACM DL) BibTeX
- Karl S. Mathias, Mark A. Roth:
Ada/X Window System Bindings: Conversion Strategies.
29-36
Electronic Edition (ACM DL) BibTeX
- Christopher Byrnes:
Porting Applications Between Two Commercial Ada/Motif Bindings.
37-49
Electronic Edition (ACM DL) BibTeX
- Lewis Gray:
M3: MIL-STD-SDD: The Next Generation of Software Development Standards (Panel).
51-56
Electronic Edition (ACM DL) BibTeX
- J. Chris Commons, Mark Gerhardt:
A Model for Analyzing Megaprogramming, Reuse and Domain Specific Software Architectures.
58-64
Electronic Edition (ACM DL) BibTeX
- Carol Diane Klingler:
A Case Study in Process Definition.
65-79
Electronic Edition (ACM DL) BibTeX
- Alan W. Brown, David J. Carney, Peter H. Feiler, Patricia A. Oberndorf, Marvin V. Zelkowitz:
A Project Support Environment Reference Model.
82-89
Electronic Edition (ACM DL) BibTeX
- A. R. Filarey, W. E. Royce, R. Rao, P. Schmutz, L. Doan-Minh:
Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades.
90-101
Electronic Edition (ACM DL) BibTeX
- James W. Moore:
M7: Reuse Library Interoperability Group (RIG): Purpose and Progress (Panel).
105-111
Electronic Edition (ACM DL) BibTeX
- Arthur V. Lopes, Michael B. Feldman, Rachelle S. Heller:
A Controlled Experiment with Software for Teaching Ada Tasking.
116-125
Electronic Edition (ACM DL) BibTeX
- Karim El Guemhioui, Steven A. Demurjian, Thomas J. Peters:
Object-Oriented Design and Automatic Ada Code Generation in the Education of Software Engineers.
126-136
Electronic Edition (ACM DL) BibTeX
- Murali Sitaraman, Jeff Gray:
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course.
137-146
Electronic Edition (ACM DL) BibTeX
- Luba Vladavsky:
T2: ASIS: Tools with a View of Exposing Ada (Panel).
147-151
Electronic Edition (ACM DL) BibTeX
- Randall Brukardt:
Panel on Early Experiences with Ada 9x Program Organization.
156-160
Electronic Edition (ACM DL) BibTeX
- John W. McCormick:
Teaching Ada by the Book: The Pedagogy of Ada in CS1 (Panel).
162-167
Electronic Edition (ACM DL) BibTeX
- Neil Salant:
The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems.
170-179
Electronic Edition (ACM DL) BibTeX
- Patrick Rogers, Steve O'Neill, Marc Pitarys, Kenneth Littlejohn:
Demonstrable Fault Tolerance for Distributed Ada.
180-188
Electronic Edition (ACM DL) BibTeX
- Peter T. Brennan:
Observations on Program-Wide Ada Exception Propagation.
189-195
Electronic Edition (ACM DL) BibTeX
- Michael I. Frankel:
Ada 9X and CASE: A Methods Perspective.
200-210
Electronic Edition (ACM DL) BibTeX
- E. W. Giering, Frank Mueller, Theodore P. Baker:
Implementing Ada 9X Features Using POSIX Threads: Design Issues.
214-228
Electronic Edition (ACM DL) BibTeX
- Colin Atkinson, David Weller:
Integrating Inheritance and Synchronization in Ada9X.
229-241
Electronic Edition (ACM DL) BibTeX
- Yvon Kermarrec, Laurent Pautet:
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications.
242-251
Electronic Edition (ACM DL) BibTeX
- William B. Frakes:
A Dialogue on Software Engineering and Ada (Panel).
262-265
Electronic Edition (ACM DL) BibTeX
- Michael Tonndorf:
An Integrated Tool Environment for Ada Compiler Validations.
268-276
Electronic Edition (ACM DL) BibTeX
- Bevin R. Brett:
Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System.
277-287
Electronic Edition (ACM DL) BibTeX
- Harry Koehnemann, Timothy E. Lindquist:
Towards Target-Level Testing and Debugging Tools for Embedded Software.
288-298
Electronic Edition (ACM DL) BibTeX
- Fred Grossman, Robert J. Klerer, Charles B. Engle Jr.:
Automating the Ada Programming Rrocess: A Domain-Specific Approach.
302-311
Electronic Edition (ACM DL) BibTeX
- Warren D. Ferguson, John K. Whiteman:
Platform Independent Translations for a Compilable Ada Abstract Syntax.
312-322
Electronic Edition (ACM DL) BibTeX
- Jonathan A. Turner, Thomas L. Hill:
Ada Abstraction, Generation, Verification.
323-329
Electronic Edition (ACM DL) BibTeX
- Teri F. Payton:
STARS: Impact of Megaprogramming on Systems Engineering, Process and Future Competitiveness (Panel).
334-337
Electronic Edition (ACM DL) BibTeX
- Robert C. Leif, Jason Sara, Ian Burgess, Michael Kelly, Suzanne B. Leif, Theresa Daly:
The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer.
340-346
Electronic Edition (ACM DL) BibTeX
- Mickey White:
A Universal Delogger Using the Ada Semantic Interface Specification (ASIS).
347-353
Electronic Edition (ACM DL) BibTeX
- Don Krantz, Ron Belt, Steve Gunderson, Belle Shenoy, Mark Vojta:
The Aladdex Operating Systems for the Aladdin Multiprocessor.
354-366
Electronic Edition (ACM DL) BibTeX
- Anneliese von Mayrhauser, Taewoong Jeon:
CASE Tool Architecture for Knowledge-Based Regression Testing.
368-378
Electronic Edition (ACM DL) BibTeX
- Jeffrey V. Nickerson:
Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control.
379-384
Electronic Edition (ACM DL) BibTeX
- Gary J. Cernosek:
ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation.
385-406
Electronic Edition (ACM DL) BibTeX
- Susan H. Nycum:
Protecting Intellectual Property Rights in Software.
410-421
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:37:55 2009
by Michael Ley (ley@uni-trier.de)
