TRI-Ada 1994:
Baltimore,
Maryland,
USA
Proceedings of the 1994 Conference on TRI-Ada '94,
November 6-11,
1994,
Baltimore,
Maryland,
USA. ACM,
1994
- Scott Arthur Moody:
The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution.
4-15
Electronic Edition (ACM DL) BibTeX
- John D. Riley:
An Object-Oriented Approach to Software Process Modeling and Definition.
16-22
Electronic Edition (ACM DL) BibTeX
- Roy Peña:
Lessons Learned in Implementing a Team Review Process.
24-28
Electronic Edition (ACM DL) BibTeX
- David A. Workman, Richard Crutchfield:
Quality Guidelines = Designer Metrics.
29-40
Electronic Edition (ACM DL) BibTeX
- Ken Shumate, Terry Snyder:
Software Project Reporting: Management, Measurement, and Process Improvement.
41-45
Electronic Edition (ACM DL) BibTeX
- Edmond Schonberg, Bernard Banner:
The GNAT Project: A GNU-Ada 9X Compiler.
48-57
Electronic Edition (ACM DL) BibTeX
- Robert Dewar:
The GNAT Compilation Model.
58-70
Electronic Edition (ACM DL) BibTeX
- Cyrille Comar, Brett Porter:
Ada 9X Tagged Types and Their Implementation in GNAT.
71-81
Electronic Edition (ACM DL) BibTeX
- Richard Kenner:
Integrating GNAT and GCC.
84-92
Electronic Edition (ACM DL) BibTeX
- E. W. Giering, Frank Mueller, Theodore P. Baker:
Features of the GNU Ada Runtime Library.
93-103
Electronic Edition (ACM DL) BibTeX
- Franco Gasperoni, Patrick Bazire:
Smart Recompilation and the GNAT Compiler.
104-111
Electronic Edition (ACM DL) BibTeX
- Peter Lützen Møller:
Run-Time Check Elimination for Ada 9X.
122-128
Electronic Edition (ACM DL) BibTeX
- Stéphane Barbey:
Working with Ada 9X Classes.
129-140
Electronic Edition (ACM DL) BibTeX
- Magnus Kempe:
Abstract Data Types are Under Full Control with Ada 9X.
141-152
Electronic Edition (ACM DL) BibTeX
- Arthur G. Duncan:
Implementing Internal Program Representations with Ada and Ada 9X.
154-163
Electronic Edition (ACM DL) BibTeX
- Jordan R. Kayloe, Patricia K. Lawlis:
Easy-Sim: Using Ada 9X in a Graphics System Software Architecture.
164-169
Electronic Edition (ACM DL) BibTeX
- Liisa Räihä:
Delegation: Dynamic Specialization.
172-179
Electronic Edition (ACM DL) BibTeX
- Karim El Guemhioui, Steven A. Demurjian, Thomas J. Peters, Heidi J. C. Ellis:
Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation.
180-190
Electronic Edition (ACM DL) BibTeX
- Sergey Rybin, Vitali Sh. Kaufman:
Ada-Based Programming Language Course in Moscow State University.
194-202
Electronic Edition (ACM DL) BibTeX
- Susan Luks, Suzanne Pawlan Levy:
Educating Educators: Lessons in Adding Ada to a Small School Curriculum.
203-208
Electronic Edition (ACM DL) BibTeX
- Federico Vazquez:
Selecting a Software Development Process.
209-218
Electronic Edition (ACM DL) BibTeX
- Murali Sitaraman, Michael B. Feldman, Gary A. Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide:
What Changes Are Needed For Undergraduate CS Curricula to Educate ``Software Engineers''?
220
Electronic Edition (ACM DL) BibTeX
- Cheryl Barbasch, Dan Egnor:
Always One More Bug: Applying AdaWise to Improve Ada Code.
228-235
Electronic Edition (ACM DL) BibTeX
- Ole Lauridsen:
Design of GUIs from a Programming Perspective.
236-245
Electronic Edition (ACM DL) BibTeX
- Kurt D. Welker, Michael W. Snyder:
Software Reengineering in Ada: A Practical Approach.
248-254
Electronic Edition (ACM DL) BibTeX
- C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith:
Formal Methods Fact vs. Fiction.
256-258
Electronic Edition (ACM DL) BibTeX
- Philippe Kruchten, Christopher J. Thompson:
An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems.
262-271
Electronic Edition (ACM DL) BibTeX
- Robert G. Crispen, Lynn D. Stuckey Jr.:
Structural Model: Architecture for Software Designers.
272-281
Electronic Edition (ACM DL) BibTeX
- Mark Aldrich:
Secured Systems and Ada: A Trusted System Software Architecture.
282-292
Electronic Edition (ACM DL) BibTeX
- Stephen Crawley, Michael Oudshoorn:
Orthogonal Persistence and Ada.
298-308
Electronic Edition (ACM DL) BibTeX
- George W. Cherry:
Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm.
309-320
Electronic Edition (ACM DL) BibTeX
- Ingmar Ögren:
Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems.
322-330
Electronic Edition (ACM DL) BibTeX
- Susan Bodily, David W. Embley, Scott N. Woodfield:
Implementing OSA Model Instances in Ada.
331-342
Electronic Edition (ACM DL) BibTeX
- S. Ron Oliver:
Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada.
343-349
Electronic Edition (ACM DL) BibTeX
- Michael I. Frankel:
Model Like an Egyptian.
352-360
Electronic Edition (ACM DL) BibTeX
- Arun P. Gupta, Paul C. Grabow:
Onion: A Methodology for Developing Data-Dominant Systems from Building Blocks.
361-372
Electronic Edition (ACM DL) BibTeX
- Kathleen Gilroy:
Interesting Problems in Transforming Existing Software for Reusability.
374-387
Electronic Edition (ACM DL) BibTeX
- Pamela Arya:
The RCAS Software Architecture and Its Relation to Reuse.
388-395
Electronic Edition (ACM DL) BibTeX
- Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou:
Software design for reliability and reuse: a proof-of-concept demonstration.
396-404
Electronic Edition (ACM DL) BibTeX
- Richard G. Sartore:
Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition.
406-416
Electronic Edition (ACM DL) BibTeX
- John Thornley:
Integrating Parallel Dataflow Programming with the Ada Tasking Model.
417-428
Electronic Edition (ACM DL) BibTeX
- Robert Greene, George Lownes:
Embedded CPU Target Migration, Doing More With Less.
429-436
Electronic Edition (ACM DL) BibTeX
- Yvon Kermarrec, Laurent Pautet:
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications.
438-445
Electronic Edition (ACM DL) BibTeX
- Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson:
Transparent Fault Tolerance for Distributed Ada Applications.
446-457
Electronic Edition (ACM DL) BibTeX
- James Baldo, Patricia Collins, Robert Steigerwald, Dewayne Barrington, Ronald Green, Donald J. Reifer:
Technology Transfer of Software Reuse (panel).
459-463
Electronic Edition (ACM DL) BibTeX
- Dan DeJohn:
The Tyndall Range Control System: Bringing Network Computing to C2 Systems.
474-485
Electronic Edition (ACM DL) BibTeX
- Lisa M. Levy Kortright:
An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components.
486-493
Electronic Edition (ACM DL) BibTeX
- Keith M. Hines:
An Object-Oriented System Design for a Satellite Communication System.
494-498
Electronic Edition (ACM DL) BibTeX
Copyright © Wed Jun 4 18:53:04 2008
by Michael Ley (ley@uni-trier.de)
