• 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 68 matches

• 1987
• 
  Carl F. Schaefer:
  Translation of VHDL to Ada. WADAS 1987: 111-117
• 
  Jagdish C. Agrawal, Shan Manickam:
  Comprehensive approach to teaching Ada. WADAS 1987: 274-276
• 
  David Auty, Norman Cohen:
  The testability of Ada programs. WADAS 1987: 249-252
• 
  David Auty, Norman Cohen:
  Establishing an Ada runtime benchmarking capability. WADAS 1987: 447-451
• 
  Paul L. Baker:
  Partial automation of code generation with Ada prespecifications. WADAS 1987: 397-404
• 
  Judy Bamberger:
  Using Ada for design: what is gained ... what is lost. WADAS 1987: 151-158
• 
  Victor R. Basili, H. Dieter Rombach:
  TAME: tailoring an Ada Measurement Environment. WADAS 1987: 318-325
• 
  Jeffrey Becker, Robert T. Goettge:
  Ada performance issues for real-time systems. WADAS 1987: 441-446
• 
  D. Behnke:
  Selection and use of and Ada-based program design language. WADAS 1987: 187-191
• 
  Mary E. Biddle:
  Methodology in selecting tools for a real-time embedded Ada program. WADAS 1987: 63-66
• 
  F. Blumberg III, M. McNickle, A. Reedy, D. Stephenson:
  A compiler independent approach to test and configuration management for Ada. WADAS 1987: 205-212
• 
  Christian Bonnet, Jean-François Caillet, Barbara Raither:
  Debugging concurrent software using a general Ada task state transition model. WADAS 1987: 67-76
• 
  Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox:
  DIANA (panel session): an intermediate representation language for Ada. WADAS 1987: 479-485
• 
  Carolyn E. Brophy, William W. Agresti, Victor R. Basili:
  Lessons learned in use of Ada-oriented design methods. WADAS 1987: 231-236
• 
  James V. Chelini:
  The impact of the Ada language resource allocation, programmer productivity, and project performance. WADAS 1987: 183-186
• 
  Thomas L. Chen, Lujoye F. Barnes:
  Ada processing requirements of parallel processing idioms. WADAS 1987: 452-458
• 
  Richard Conn:
  The Ada software repository and software reusability. WADAS 1987: 45-53
• 
  Robert A. Conti:
  Critical run-time design tradeoff sin an Ada implementation (panel session). WADAS 1987: 486-495
• 
  Bard S. Crawford:
  Building an elevator simulation in Ada using a process oriented methodology and support tool. WADAS 1987: 223-230
• 
  Jorge L. Díaz-Herrera, C. González, P. Wang:
  Development of an operational flight control program in Ada. WADAS 1987: 95-102
• 
  Hassan N. El-Ghoroury, Philip R. LaBarbera, John Bollenbacher:
  Software portability in embedded, distributed systems. WADAS 1987: 420-431
• 
  David W. Embley, Scott N. Woodfield:
  A knowledge structure for reusing abstract data types in Ada software production. WADAS 1987: 27-34
• 
  David A. Feinberg:
  Non-technical aspects of using Ada. WADAS 1987: 180-182
• 
  Donald G. Firesmith:
  Should the DOD mandate a standard software development process? WADAS 1987: 159-167
• 
  Dinesh Gambhir, Rinaldo Digiorgio, Roy S. Freedman:
  PADS: a working architecture for a distributed APSE. WADAS 1987: 89-94
• 
  Helen Gill, Thomas J. Smith, Rebecca Bowerman, Chuck Howell, Tana Reagan:
  Distributing the CAIS: a technical approach using the MITRE CAIS prototype. WADAS 1987: 83-88
• 
  Dana L. Hall:
  NASA space station program software plans and status. WADAS 1987: 237-243
• 
  George C. Harrison:
  An automated method of referencing Ada reusable code using lil. WADAS 1987: 1-7
• 
  Thomas B. Hilburn:
  Ada and the study of mathematics. WADAS 1987: 269-273
• 
  Steven Holtsberg:
  Formal semantics of the data types of Ada: abridged version. WADAS 1987: 377-389

skipping 38 more matches