• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 49 matches

• 1994
• 
  Mark Aldrich:
  Secured Systems and Ada: A Trusted System Software Architecture. TRI-Ada 1994: 282-292
• 
  Pamela Arya:
  The RCAS Software Architecture and Its Relation to Reuse. TRI-Ada 1994: 388-395
• 
  James Baldo, Patricia Collins, Robert Steigerwald, Dewayne Barrington, Ronald Green, Donald J. Reifer:
  Technology Transfer of Software Reuse (panel). TRI-Ada 1994: 459-463
• 
  Cheryl Barbasch, Dan Egnor:
  Always One More Bug: Applying AdaWise to Improve Ada Code. TRI-Ada 1994: 228-235
• 
  Stéphane Barbey:
  Working with Ada 9X Classes. TRI-Ada 1994: 129-140
• 
  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. TRI-Ada 1994: 396-404
• 
  Susan Bodily, David W. Embley, Scott N. Woodfield:
  Implementing OSA Model Instances in Ada. TRI-Ada 1994: 331-342
• 
  Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson:
  Transparent Fault Tolerance for Distributed Ada Applications. TRI-Ada 1994: 446-457
• 
  George W. Cherry:
  Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm. TRI-Ada 1994: 309-320
• 
  Cyrille Comar, Brett Porter:
  Ada 9X Tagged Types and Their Implementation in GNAT. TRI-Ada 1994: 71-81
• 
  Stephen Crawley, Michael Oudshoorn:
  Orthogonal Persistence and Ada. TRI-Ada 1994: 298-308
• 
  Robert G. Crispen, Lynn D. Stuckey Jr.:
  Structural Model: Architecture for Software Designers. TRI-Ada 1994: 272-281
• 
  Dan DeJohn:
  The Tyndall Range Control System: Bringing Network Computing to C² Systems. TRI-Ada 1994: 474-485
• 
  Robert Dewar:
  The GNAT Compilation Model. TRI-Ada 1994: 58-70
• 
  Arthur G. Duncan:
  Implementing Internal Program Representations with Ada and Ada 9X. TRI-Ada 1994: 154-163
• 
  Michael I. Frankel:
  Model Like an Egyptian. TRI-Ada 1994: 352-360
• 
  Franco Gasperoni, Patrick Bazire:
  Smart Recompilation and the GNAT Compiler. TRI-Ada 1994: 104-111
• 
  E. W. Giering, Frank Mueller, Theodore P. Baker:
  Features of the GNU Ada Runtime Library. TRI-Ada 1994: 93-103
• 
  Kathleen Gilroy:
  Interesting Problems in Transforming Existing Software for Reusability. TRI-Ada 1994: 374-387
• 
  Robert Greene, George Lownes:
  Embedded CPU Target Migration, Doing More With Less. TRI-Ada 1994: 429-436
• 
  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. TRI-Ada 1994: 180-190
• 
  Arun P. Gupta, Paul C. Grabow:
  Onion: A Methodology for Developing Data-Dominant Systems from Building Blocks. TRI-Ada 1994: 361-372
• 
  Keith M. Hines:
  An Object-Oriented System Design for a Satellite Communication System. TRI-Ada 1994: 494-498
• 
  C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith:
  Formal Methods Fact vs. Fiction. TRI-Ada 1994: 256-258
• 
  Jordan R. Kayloe, Patricia K. Lawlis:
  Easy-Sim: Using Ada 9X in a Graphics System Software Architecture. TRI-Ada 1994: 164-169
• 
  Magnus Kempe:
  Abstract Data Types are Under Full Control with Ada 9X. TRI-Ada 1994: 141-152
• 
  Richard Kenner:
  Integrating GNAT and GCC. TRI-Ada 1994: 84-92
• 
  Yvon Kermarrec, Laurent Pautet:
  Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications. TRI-Ada 1994: 438-445
• 
  Lisa M. Levy Kortright:
  An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components. TRI-Ada 1994: 486-493
• 
  Philippe Kruchten, Christopher J. Thompson:
  An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems. TRI-Ada 1994: 262-271

skipping 19 more matches