TRI-Ada 1996: Philadelphia, Pennsylvania

Distributed Ada 95

• Kwok-bun Yue, Sadegh Davari, Ted Leibfried:
  Priority Ceiling Protocol in Ada. 3-9
  Electronic Edition (ACM DL) BibTeX
• Helge Hagenauer, Werner Pohlmann:
  Prototyping a Parallel Discrete Event Simulation System in Ada. 11-22
  Electronic Edition (ACM DL) BibTeX
• Karl J. Gramp:
  A Comparison of Different Tasking Architectures Used in Mobile Satellite Communication Ground Station Software. 23-28
  Electronic Edition (ACM DL) BibTeX
• Charles A. Meyer, Michael G. Reznick:
  Design and Test Strategies for a Safety-Critical Embedded Executive. 29-37
  Electronic Edition (ACM DL) BibTeX
• Yvon Kermarrec, Laurent Nana, Laurent Pautet:
  Providing Fault-Tolerant Services to Distributed Ada 95 Applications. 39-47
  Electronic Edition (ACM DL) BibTeX
• Robert G. Pettit IV:
  Using Ada 95 for the Design of Distributed Real-Time Systems. 49-55
  Electronic Edition (ACM DL) BibTeX
• Pascal Ledru, Sajjan G. Shiva:
  Interpartition Communication with Shared Active Packages. 57-62
  Electronic Edition (ACM DL) BibTeX
• Yvon Kermarrec, Laurent Nana, Laurent Pautet:
  GNATDIST: A Configuration Language for Distributed Ada 95 Applications. 63-72
  Electronic Edition (ACM DL) BibTeX
• John D. Riley:
  A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA. 73-80
  Electronic Edition (ACM DL) BibTeX

Object-Oriented Development

• George W. Cherry, Brad S. Crawford:
  The Situation in Object-Oriented Specification and Design. 83-98
  Electronic Edition (ACM DL) BibTeX
• Donald M. Needham, Steven A. Demurjian, Karim El Guemhioui, Thomas J. Peters, P. Zamani, M. McMahon, Heidi J. C. Ellis:
  ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel. 99-113
  Electronic Edition (ACM DL) BibTeX
• M. Bari, P. Gabrini, Colette Rolland, Kacem Zeroual:
  Active Information Systems, From Object-Oriented Design to Ada 95. 115-124
  Electronic Edition (ACM DL) BibTeX
• Huiming Yu, Albert C. Esterline, Joseph Monroe:
  Object Oriented Formal Specifications to Support Ada 95 Reuse. 125-131
  Electronic Edition (ACM DL) BibTeX

Ada 95 Design

• Bo Sanden:
  The State-Machine Pattern. 135-142
  Electronic Edition (ACM DL) BibTeX
• James H. Cross II, Larry A. Barowski, T. Dean Hendrix, Joseph C. Teate:
  Control Structure Diagrams for Ada 95. 143-147
  Electronic Edition (ACM DL) BibTeX

Education/Training

• John A. Hamilton Jr., David A. Cook:
  Ada Training and Education in the US Army and US Air Force. 151-155
  Electronic Edition (ACM DL) BibTeX
• Allen S. Parrish, David Cordes, Cynthia Lester, Deanne Moore:
  Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course. 157-161
  Electronic Edition (ACM DL) BibTeX

Ada 95 Toolkits

• Terry J. Westley:
  TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada. 165-178
  Electronic Edition (ACM DL) BibTeX
• Matthew B. Dwyer, Matthew J. Craig, Eric Runquist:
  An Application-Independent Concurrency Skeleton in Ada 95. 179-192
  Electronic Edition (ACM DL) BibTeX
• Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman:
  Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. 193-204
  Electronic Edition (ACM DL) BibTeX

Reuse

• Bohdan Nebesh, Michael B. Feldman:
  Learning to Use Ada 95 Components Using HTML Linking. 207-210
  Electronic Edition (ACM DL) BibTeX
• John Beidler:
  REUSE/Ada. 211-217
  Electronic Edition (ACM DL) BibTeX
• Scott Arthur Moody:
  Migrating Well Engineered Ada 83 Applications into Newer Architecture and Reuse Based Ada 95 Systems: Experiences from Boeing's Reuse Initiative Project. 219-229
  Electronic Edition (ACM DL) BibTeX
• Carol Diane Klingler, James Solderitsch:
  DAGAR: A Process for Domain Architecture Definition and Asset Implementation. 231-245
  Electronic Edition (ACM DL) BibTeX

Using Ada 95

• Sergey Rybin, Alfred Strohmeier:
  Ada and ASIS: Justification of Differences in Terminology and Mechanisms. 249-254
  Electronic Edition (ACM DL) BibTeX
• Antoine Beugnard, Zièd Choukair, Yvon Kermarrec:
  COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation. 255-268
  Electronic Edition (ACM DL) BibTeX

Panel Sessions