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

• 1985
• 
  Beth Adelson, Elliot Soloway:
  The Role of Domain Experience in Software Design. IEEE Trans. Software Eng. 11(11): 1351-1360 (1985)
• 
  Mustaque Ahamad, Arthur J. Bernstein:
  An Application of Name Based Addressing to Low Level Distributed Algorithms. IEEE Trans. Software Eng. 11(1): 59-67 (1985)
• 
  Guy T. Almes, Andrew P. Black, Edward D. Lazowska, Jerre D. Noe:
  The Eden System: A Technical Review. IEEE Trans. Software Eng. 11(1): 43-59 (1985)
• 
  Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini:
  Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11(8): 784-794 (1985)
• 
  Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding:
  Software Fault Tolerance: An Evaluation. IEEE Trans. Software Eng. 11(12): 1502-1510 (1985)
• 
  Algirdas Avizienis:
  The N-Version Approach to Fault-Tolerant Software. IEEE Trans. Software Eng. 11(12): 1491-1501 (1985)
• 
  Motoei Azuma, Tetsu Tabata, Yoshihiro Oki, Susumu Kamiya:
  SPD: A Humanized Documentation Technology. IEEE Trans. Software Eng. 11(9): 945-953 (1985)
• 
  Özalp Babaoglu, Rogério Drummond:
  Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts. IEEE Trans. Software Eng. 11(6): 546-554 (1985)
• 
  Simonetta Balsamo, Giuseppe Iazeolla:
  Product-Form Synthesis of Queueing Networks. IEEE Trans. Software Eng. 11(2): 194-199 (1985)
• 
  Robert Balzer:
  A 15 Year Perspective on Automatic Programming. IEEE Trans. Software Eng. 11(11): 1257-1268 (1985)
• 
  David R. Barstow:
  Domain-Specific Automatic Programming. IEEE Trans. Software Eng. 11(11): 1321-1336 (1985)
• 
  Leonard J. Bass:
  An Approach to User Specification of Interactive Display Interfaces. IEEE Trans. Software Eng. 11(8): 686-698 (1985)
• 
  Mostafa A. Bassiouni:
  Data Compression in Scientific and Statistical Databases. IEEE Trans. Software Eng. 11(10): 1047-1058 (1985)
• 
  Farokh B. Bastani:
  Experiences with a Feedback Version Development Methodology. IEEE Trans. Software Eng. 11(8): 718-723 (1985)
• 
  Farokh B. Bastani:
  On the Uncertainty in the Correctness of Computer Programs. IEEE Trans. Software Eng. 11(9): 857-864 (1985)
• 
  Arthur J. Bernstein:
  A Loosely Coupled Distributed System for Reliably Storing Data. IEEE Trans. Software Eng. 11(5): 446-454 (1985)
• 
  Edward H. Bersoff:
  Comments on "Elements of Software Configuration Management". IEEE Trans. Software Eng. 11(8): 822 (1985)
• 
  Valdis Berzins, Michael Gray:
  Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Trans. Software Eng. 11(8): 657-670 (1985)
• 
  Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho:
  Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11(3): 242-252 (1985)
• 
  Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi:
  Implementing Fault-Tolerant Distributed Objects. IEEE Trans. Software Eng. 11(6): 502-508 (1985)
• 
  Daniel G. Bobrow:
  If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms. IEEE Trans. Software Eng. 11(11): 1401-1408 (1985)
• 
  Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder:
  Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions. IEEE Trans. Software Eng. 11(7): 574-583 (1985)
• 
  C. Robert Carlson, Adarsh K. Arora:
  Toward the Next Generation of Data Modeling Tools. IEEE Trans. Software Eng. 11(9): 966-970 (1985)
• 
  Joseph P. Cavano:
  Toward High Confidence Software. IEEE Trans. Software Eng. 11(12): 1449-1455 (1985)
• 
  Stefano Ceri, Georg Gottlob:
  Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. IEEE Trans. Software Eng. 11(4): 324-345 (1985)
• 
  Arvola Chan, Robert Gray:
  Implementing Distributed Read-Only Transactions. IEEE Trans. Software Eng. 11(2): 205-212 (1985)
• 
  Shi-Kuo Chang, Wu-Lung Chan:
  Transformation and Verification of Office Procedures. IEEE Trans. Software Eng. 11(8): 724-734 (1985)
• 
  Shi-Kuo Chang, Erland Jungert, Stefano Levialdi, Genoveffa Tortora, Tadao Ichikawa:
  An Image Processing Language with Icon-Assisted Navigation. IEEE Trans. Software Eng. 11(8): 811-819 (1985)
• 
  Arbee L. P. Chen, Victor O. K. Li:
  An Optimal Algorithm for Processing Distributed Star Queries. IEEE Trans. Software Eng. 11(10): 1097-1107 (1985)
• 
  Uli H. Chi:
  Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches. IEEE Trans. Software Eng. 11(8): 671-685 (1985)

skipping 125 more matches