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

• 1985
• 
  Robert Balzer:
  Panel Description: The Role of Logic and AI in the Software Enterprise. ICSE 1985: 394
• 
  P. Barth, Scott B. Guthery, David R. Barstow:
  The Stream Machine: A Data Flow Architecture for Real-Time Applications. ICSE 1985: 103-110
• 
  Victor R. Basili, Richard W. Selby:
  Calculation and Use of an Environment's Characteristic Software Metric Set. ICSE 1985: 386-393
• 
  Laszlo A. Belady:
  New Software Engineering Program - Worldwide (Panel). ICSE 1985: 128-131
• 
  Giorgio Bruno, Giuseppe Marchetto:
  Rapid Prototyping of Control Systems Using High Level Petri Nets. ICSE 1985: 230-237
• 
  Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis:
  Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. ICSE 1985: 62-67
• 
  David N. Card, Gerald T. Page, Frank E. McGarry:
  Criteria for Software Modularization. ICSE 1985: 372-377
• 
  Q. Chen:
  Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology. ICSE 1985: 50-54
• 
  Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil:
  A Comparison of Data Flow Path Selection Criteria. ICSE 1985: 244-251
• 
  S. G. Crawford, M. H. Fallah:
  Software Development Process Audits - A General Procedure. ICSE 1985: 137-141
• 
  Tom DeMarco, Tim Lister:
  Programmer Performance and the Effects of the Workplace. ICSE 1985: 268-272
• 
  Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
  An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329
• 
  Koichi Fukunaga:
  PROMPTER: A Knowledge Based Support Tool for Code Understanding. ICSE 1985: 358-363
• 
  Moheb R. Girgis, Martin R. Woodward:
  An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis. ICSE 1985: 313-319
• 
  F. Hattori, K. Kushima, Tetsuo Wasano:
  A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas. ICSE 1985: 285-291
• 
  David Hedley, Michael A. Hennell:
  The Causes and Effects of Infeasible Paths in Computer Programs. ICSE 1985: 259-267
• 
  Peter B. Henderson, Mark D. Weiser:
  Continous Execution: The VisiProg Environment. ICSE 1985: 68-74
• 
  James W. Hooper, John T. Ellis, T. A. Johnson:
  Distributed Software Prototyping with ADS. ICSE 1985: 216-223
• 
  Ellis Horowitz, Ronald Williamson:
  SODOS - A Software Documentation Support Environment: Its Use. ICSE 1985: 8-14
• 
  Dennis G. Kafura, J. Canning:
  A Validation of Software Metrics Using Many Metrics and Two Resources. ICSE 1985: 378-385
• 
  Barbara A. Kitchenham, Howard A. Rubin:
  A Comparison of Cost Estimation Tools (Panel). ICSE 1985: 174-181
• 
  John C. Knight, Paul Ammann:
  An Experimental Evaluation of Simple Methods for Seeding Program Errors. ICSE 1985: 337-342
• 
  Stanley Lee:
  On Executable Models for Rule-Based Prototyping. ICSE 1985: 210-215
• 
  Jochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis, M. F. Schmidt:
  SPADES - A Specification and Design System and Its Graphical Interface. ICSE 1985: 83-91
• 
  Nazim H. Madhavji:
  Operations for Programming in the All. ICSE 1985: 15-25
• 
  John H. Manley:
  Software Engineering Provisioning Process. ICSE 1985: 273-284
• 
  Bertrand Meyer:
  The Software Knowledge Base. ICSE 1985: 158-165
• 
  D. R. Miller, A. Sofer:
  Completely Monotone Regression Estimates of Software Failure Rates. ICSE 1985: 343-349
• 
  Naftaly H. Minsky, Abe Lockman:
  Ensuring Integrity by Adding Obligations to Privileges. ICSE 1985: 92-102
• 
  Yukio Miyazaki, Kuniaki Mori:
  COCOMO Evaluation and Tailoring. ICSE 1985: 292-301

skipping 27 more matches