BibSLEIGH — Proceedings of the TRI-Ada Conference

Proceedings of the TRI-Ada Conference
TRI-Ada, 1994.

PLT

@proceedings{TRI-Ada-1994,
	address       = "Baltimore, Maryland, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings of the TRI-Ada Conference}",
	year          = 1994,
}

Contents (47 items)

TRI-Ada-1994-Moody #architecture #execution #multi #process: The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution (SAM), pp. 4–15.
TRI-Ada-1994-Riley #approach #modelling #object-oriented #process: An Object-Oriented Approach to Software Process Modeling and Definition (JDR), pp. 16–22.
TRI-Ada-1994-Pena #implementation #lessons learnt #overview #process: Lessons Learned in Implementing a Team Review Process (RP), pp. 24–28.
TRI-Ada-1994-WorkmanC #design #guidelines #metric #quality: Quality Guidelines = Designer Metrics (DAW, RC), pp. 29–40.
TRI-Ada-1994-ShumateS #metric #process: Software Project Reporting: Management, Measurement, and Process Improvement (KS, TS), pp. 41–45.
TRI-Ada-1994-SchonbergB #compilation: The GNAT Project: A GNU-Ada 9X Compiler (ES, BB), pp. 48–57.
TRI-Ada-1994-Dewar #compilation: The GNAT Compilation Model (RD), pp. 58–70.
TRI-Ada-1994-ComarP #ada #implementation: Ada 9X Tagged Types and Their Implementation in GNAT (CC, BP), pp. 71–81.
TRI-Ada-1994-Kenner: Integrating GNAT and GCC (RK), pp. 84–92.
TRI-Ada-1994-GieringMB #ada #library #runtime: Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
TRI-Ada-1994-GasperoniB #compilation: Smart Recompilation and the GNAT Compiler (FG, PB), pp. 104–111.
TRI-Ada-1994-Moller #ada #runtime: Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.
TRI-Ada-1994-Barbey #ada: Working with Ada 9X Classes (SB), pp. 129–140.
TRI-Ada-1994-Kempe #ada #data type: Abstract Data Types are Under Full Control with Ada 9X (MK), pp. 141–152.
TRI-Ada-1994-Duncan #ada #implementation: Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.
TRI-Ada-1994-KayloeL #ada #architecture #named #using: Easy-Sim: Using Ada 9X in a Graphics System Software Architecture (JRK, PKL), pp. 164–169.
TRI-Ada-1994-Raiha #named: Delegation: Dynamic Specialization (LR), pp. 172–179.
TRI-Ada-1994-GuemhiouiDPE #ada #code generation #design #object-oriented #profiling: Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation (KEG, SAD, TJP, HJCE), pp. 180–190.
TRI-Ada-1994-RybinK #ada #programming language: Ada-Based Programming Language Course in Moscow State University (SR, VSK), pp. 194–202.
TRI-Ada-1994-LuksL #ada #education: Educating Educators: Lessons in Adding Ada to a Small School Curriculum (SL, SPL), pp. 203–208.
TRI-Ada-1994-Vazquez #development #process: Selecting a Software Development Process (FV), pp. 209–218.
TRI-Ada-1994-SitaramanFFFHMW #education #question #what: What Changes Are Needed For Undergraduate CS Curricula to Educate “Software Engineers”? (MS, MBF, GAF, WBF, JEH, DFM, BWW), p. 220.
TRI-Ada-1994-BarbaschE #ada #debugging: Always One More Bug: Applying AdaWise to Improve Ada Code (CB, DE), pp. 228–235.
TRI-Ada-1994-Lauridsen #design #perspective #programming #user interface: Design of GUIs from a Programming Perspective (OL), pp. 236–245.
TRI-Ada-1994-WelkerS #ada #approach #re-engineering: Software Reengineering in Ada: A Practical Approach (KDW, MWS), pp. 248–254.
TRI-Ada-1994-HollowayVGS #formal method: Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.
TRI-Ada-1994-KruchtenT #ada #architecture #distributed #object-oriented #scalability: An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems (PK, CJT), pp. 262–271.
TRI-Ada-1994-CrispenS #architecture #design: Structural Model: Architecture for Software Designers (RGC, LDSJ), pp. 272–281.
TRI-Ada-1994-Aldrich #ada #architecture: Secured Systems and Ada: A Trusted System Software Architecture (MA), pp. 282–292.
TRI-Ada-1994-CrawleyO #ada #orthogonal #persistent: Orthogonal Persistence and Ada (SC, MO), pp. 298–308.
TRI-Ada-1994-Cherry #ada #formal method #paradigm #re-engineering #visualisation: Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm (GWC), pp. 309–320.
TRI-Ada-1994-Ogren #ada: Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems (IÖ), pp. 322–330.
TRI-Ada-1994-BodilyEW #ada #implementation: Implementing OSA Model Instances in Ada (SB, DWE, SNW), pp. 331–342.
TRI-Ada-1994-Oliver #ada #concurrent #design #implementation #object-oriented #realtime: Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada (SRO), pp. 343–349.
TRI-Ada-1994-Frankel: Model Like an Egyptian (MIF), pp. 352–360.
TRI-Ada-1994-GuptaG #named: Onion: A Methodology for Developing Data-Dominant Systems from Building Blocks (APG, PCG), pp. 361–372.
TRI-Ada-1994-Gilroy #problem #reuse #usability: Interesting Problems in Transforming Existing Software for Reusability (KG), pp. 374–387.
TRI-Ada-1994-Arya #architecture #reuse: The RCAS Software Architecture and Its Relation to Reuse (PA), pp. 388–395.
TRI-Ada-1994-BellBHKKLMOSTWZ #concept #design #reliability #reuse: Software design for reliability and reuse: a proof-of-concept demonstration (JMB, FB, JH, RBK, AK, JL, LM, DO, TS, LT, LW, TZ), pp. 396–404.
TRI-Ada-1994-Sartore #ada #database #realtime #scalability: Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition (RGS), pp. 406–416.
TRI-Ada-1994-Thornley #ada #data flow #parallel #programming: Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.
TRI-Ada-1994-GreeneL #cpu #embedded #migration: Embedded CPU Target Migration, Doing More With Less (RG, GL), pp. 429–436.
TRI-Ada-1994-KermarrecP #ada #distributed #named #paradigm #programming: Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications (YK, LP), pp. 438–445.
TRI-Ada-1994-BrelandRBN #ada #distributed #fault tolerance: Transparent Fault Tolerance for Distributed Ada Applications (MAB, SAR, GPB, KLN), pp. 446–457.
TRI-Ada-1994-DeJohn #network: The Tyndall Range Control System: Bringing Network Computing to C2 Systems (DD), pp. 474–485.
TRI-Ada-1994-Kortright #approach #component #development #incremental #reuse: An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.
TRI-Ada-1994-Hines #communication #design #object-oriented: An Object-Oriented System Design for a Satellite Communication System (KMH), pp. 494–498.

Proceedings of the TRI-Ada ConferenceTRI-Ada, 1994.

Contents (47 items)

Proceedings of the TRI-Ada Conference
TRI-Ada, 1994.