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

• 1982
• 
  Walid A. Abu-Sufah, R. Lee, Mohammad Malkawi, P. Yew:
  Experimental Results on the Paging Behavior of Numerical Programs. ICSE 1982: 110-119
• 
  Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno:
  Verification System for Formal Requirements Description. ICSE 1982: 120-126
• 
  Robert S. Arnold, D. A. Parker:
  The Dimensions of Healthy Maintenance. ICSE 1982: 10-27
• 
  Robert G. Babb II:
  Data-Driven Implementation of Data Flow Diagrams. ICSE 1982: 309-318
• 
  Wayne A. Babich, Larry Weissman, Martin I. Wolfe:
  Design Considerations in Language Processing Tools for Ada. ICSE 1982: 40-47
• 
  David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal:
  An Automatic Programming System to Support an Experimental Science. ICSE 1982: 360-366
• 
  Friedrich L. Bauer:
  From Specifications to Machine Code: Program Construction through Formal Reasoning. ICSE 1982: 84-93
• 
  G. Beretta, Helmar Burkhart, Peter Fink, Jürg Nievergelt, Jan Stelovsky, Hirotsugo Sugaya:
  XS-1: An Integrated Interactive System and Its Kernel. ICSE 1982: 340-349
• 
  Barry W. Boehm, James F. Elwell, Arthur B. Pyster, E. Don Stuckle, Ronald D. Williams:
  The TRW Software Productivity System. ICSE 1982: 148-156
• 
  D. V. Buyansky, J. W. Schatz:
  No 1A ESS Laboratory Support System - Erasable Flag Facility. ICSE 1982: 279-286
• 
  Kazuhiko Chiba, Kazunori Konishi, Akira Kurematsu:
  A Model for Description of Communication Protocol. ICSE 1982: 424-428
• 
  Ira R. Forman:
  Global Data Flow Analysis by Decomposition into Primes. ICSE 1982: 386-392
• 
  Kokichi Futatsugi, Koji Okada:
  A Hierarchical Structuring Method for Functional Software Systems. ICSE 1982: 393-402
• 
  Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
  Capturing More World Knowledge in the Requirements Specification. ICSE 1982: 225-235
• 
  P. G. Hamer, G. D. Frewin:
  M. H. Halstead's Software Science - A Critical Examination. ICSE 1982: 197-207
• 
  Eric Harslem, LeRoy E. Nelson:
  A Retrospective on the Development of Star. ICSE 1982: 377-385
• 
  M. Itakura, A. Takayanagi:
  A Model for Estimating Program Size and Its Evaluation. ICSE 1982: 104-109
• 
  S. Ito:
  Automatic Input of Flow Chart in Document Image. ICSE 1982: 319-329
• 
  Huang Cheng Cheng Kuo, C. H. Li, Jay Ramanathan:
  A Form-Based Approach to Human Engineering Methodologies. ICSE 1982: 254-271
• 
  M. J. Lawrence:
  An Examination of Evolution Dynamics. ICSE 1982: 188-196
• 
  M. M. Ling:
  Designing Data Entry Programs Using State Diagram as a Common Model. ICSE 1982: 296-308
• 
  P. Lucas, Tore Risch:
  Representation of Factual Information by Equations and Their Evaluation. ICSE 1982: 367-376
• 
  Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii:
  Early Experiences with a Multi-Display Programming Environment. ICSE 1982: 422-423
• 
  David A. Marca, Clement L. McGowan:
  Static and Dynamic Data Modeling for Information System Design. ICSE 1982: 137-147
• 
  Ali Mili:
  A Closer Look at Iteration: The Self Stabilizing Capability of Loops. ICSE 1982: 48-57
• 
  K. Miyazawa, M. Oda, S. Kato:
  The Portable Communication Protocol Program COMPAS for Data Terminal Systems. ICSE 1982: 420-421
• 
  Jun Murai, Nobuo Saito, Norihisa Doi, M. Morohashi, T. Fujisaki:
  Requirement Specification Description System in Japanese Language - JISDOS. ICSE 1982: 127-136
• 
  Yukikazu Nakamoto, T. Iwamoto, M. Hori, Kenichi Hagihara, Nobuki Tokura:
  An Editor for Documentation in pi-System to Support Software Development and Maintenance. ICSE 1982: 330-339
• 
  H. Ohba:
  Software Quality = Test Accuracy * Test Coverage. ICSE 1982: 287-295
• 
  Leon J. Osterweil:
  Toolpack - An Experimental Software Development Environment Research Project. ICSE 1982: 166-177