Conference Proceedings on TRI-Ada 1993
TRI-Ada, 1993.

@proceedings{TRI-Ada-1993,
	address       = "Seattle, Washington, USA",
	publisher     = "{ACM}",
	title         = "{Conference Proceedings on TRI-Ada 1993}",
	year          = 1993,
}

Contents (30 items)

21 ×#ada
4 ×#automation
4 ×#using
3 ×#design
3 ×#reuse
2 ×#architecture
2 ×#compilation
2 ×#distributed
2 ×#education
2 ×#framework

TRI-Ada-1993-DownsDMTT #ada #using

Using X with the ADA Mind-Set (MD, JD, KM, LT, CT), pp. 20–28.

TRI-Ada-1993-MathiasR #ada

Ada/X Window System Bindings: Conversion Strategies (KSM, MAR), pp. 29–36.

TRI-Ada-1993-Byrnes #ada #migration

Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.

TRI-Ada-1993-CommonsG #architecture #reuse

A Model for Analyzing Megaprogramming, Reuse and Domain Specific Software Architectures (JCC, MG), pp. 58–64.

TRI-Ada-1993-Klingler #case study #process

A Case Study in Process Definition (CDK), pp. 65–79.

TRI-Ada-1993-BrownCFOZ

A Project Support Environment Reference Model (AWB, DJC, PHF, PAO, MVZ), pp. 82–89.

TRI-Ada-1993-FilareyRRSD #ada #framework #platform

Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.

TRI-Ada-1993-LopesFH #ada #education #empirical

A Controlled Experiment with Software for Teaching Ada Tasking (AVL, MBF, RSH), pp. 116–125.

TRI-Ada-1993-GuemhiouiDP #ada #automation #code generation #design #education #object-oriented

Object-Oriented Design and Automatic Ada Code Generation in the Education of Software Engineers (KEG, SAD, TJP), pp. 126–136.

TRI-Ada-1993-SitaramanG #re-engineering #reuse

Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course (MS, JG), pp. 137–146.

TRI-Ada-1993-Salant #reuse

The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems (NS), pp. 170–179.

TRI-Ada-1993-RogersOPL #ada #distributed #fault tolerance

Demonstrable Fault Tolerance for Distributed Ada (PR, SO, MP, KL), pp. 180–188.

TRI-Ada-1993-Brennan #ada #exception

Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.

TRI-Ada-1993-Frankel #ada #automation #perspective

Ada 9X and CASE: A Methods Perspective (MIF), pp. 200–210.

TRI-Ada-1993-GieringMB #ada #design #implementation #thread #using

Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.

TRI-Ada-1993-AtkinsonW #ada #inheritance

Integrating Inheritance and Synchronization in Ada9X (CA, DW), pp. 229–241.

TRI-Ada-1993-KermarrecP #ada #distributed #memory management

A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications (YK, LP), pp. 242–251.

TRI-Ada-1993-Tonndorf #ada #compilation

An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.

TRI-Ada-1993-Brett #ada #compilation #implementation #what

Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.

TRI-Ada-1993-KoehnemannL #debugging #embedded #testing #tool support #towards

Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.

TRI-Ada-1993-GrossmanKE #ada #approach #automation #programming

Automating the Ada Programming Rrocess: A Domain-Specific Approach (FG, RJK, CBEJ), pp. 302–311.

TRI-Ada-1993-FergusonW #ada #framework #independence #platform #syntax

Platform Independent Translations for a Compilable Ada Abstract Syntax (WDF, JKW), pp. 312–322.

TRI-Ada-1993-TurnerH #abstraction #ada #generative #verification

Ada Abstraction, Generation, Verification (JAT, TLH), pp. 323–329.

TRI-Ada-1993-LeifSBKLD #ada #development

The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer (RCL, JS, IB, MK, SBL, TD), pp. 340–346.

TRI-Ada-1993-White #ada #interface #semantics #specification #using

A Universal Delogger Using the Ada Semantic Interface Specification (ASIS) (MW), pp. 347–353.

TRI-Ada-1993-KrantzBGSV #multi #operating system

The Aladdex Operating Systems for the Aladdin Multiprocessor (DK, RB, SG, BS, MV), pp. 354–366.

TRI-Ada-1993-MayrhauserJ #architecture #automation #knowledge-based #testing

CASE Tool Architecture for Knowledge-Based Regression Testing (AvM, TJ), pp. 368–378.

TRI-Ada-1993-Nickerson #ada #design #representation #using #visual notation

Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control (JVN), pp. 379–384.

TRI-Ada-1993-Cernosek #ada #modelling #named #representation

ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation (GJC), pp. 385–406.

TRI-Ada-1993-Nycum

Protecting Intellectual Property Rights in Software (SHN), pp. 410–421.