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

• 1998
• 
  Robert Allen, David Garlan:
  Formal Modeling and Analysis of the HLA Component Integration Standard. SIGSOFT FSE 1998: 70-79
• 
  Rajeev Alur, Mihalis Yannakakis:
  Model Checking of Hierarchical State Machines. SIGSOFT FSE 1998: 175-188
• 
  Mark Astley, Gul Agha:
  Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. SIGSOFT FSE 1998: 1-9
• 
  Darren C. Atkinson, William G. Griswold:
  Effective Whole-Program Analysis in the Presence of Pointers. SIGSOFT FSE 1998: 46-55
• 
  Jonathan E. Cook, Alexander L. Wolf:
  Event-Base Detection of Concurrency. SIGSOFT FSE 1998: 35-45
• 
  Anne M. Disney, Philip M. Johnson:
  Investigation Data Quality Problems in the PSP. SIGSOFT FSE 1998: 143-152
• 
  Matthew B. Dwyer, Corina S. Pasareanu:
  Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202
• 
  Philip W. L. Fong, Robert D. Cameron:
  Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. SIGSOFT FSE 1998: 222-230
• 
  Phyllis G. Frankl, Oleg Iakounenko:
  Further Empirical Studies of Test Effectiveness. SIGSOFT FSE 1998: 153-162
• 
  David Garlan, Somesh Jha, David Notkin:
  Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221
• 
  Martin L. Griss:
  Software Engineering as a Profession: Industry and Academia Working Together. SIGSOFT FSE 1998: 203-208
• 
  Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
  Automated Test Data Generation Using an Iterative Relaxation Method. SIGSOFT FSE 1998: 231-244
• 
  Daniel Jackson:
  An Intermedicate Design Language and Its Analysis. SIGSOFT FSE 1998: 121-130
• 
  Ralph D. Jeffords, Constance L. Heitmeyer:
  Automatic Generation of State Invariants from Requirements Specifications. SIGSOFT FSE 1998: 56-69
• 
  Michael Karasick:
  The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++. SIGSOFT FSE 1998: 131-142
• 
  Jyrki Kontio, Gerhard Getto, Dieter Landes:
  Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method. SIGSOFT FSE 1998: 163-172
• 
  Shriram Krishnamurthi, Matthias Felleisen:
  Toward a Formal Theory of Extensible Software. SIGSOFT FSE 1998: 88-98
• 
  Michael S. Mahony:
  Finding a History for Software Engineering. SIGSOFT FSE 1998: 87
• 
  Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima:
  Applying Design Patterns to Decision Tree Learning System. SIGSOFT FSE 1998: 111-120
• 
  Gleb Naumovich, George S. Avrunin:
  A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE 1998: 24-34
• 
  Jochen Seemann, Jürgen Wolff von Gudenberg:
  Pattern-Based Design Recovery of Java Software. SIGSOFT FSE 1998: 10-16
• 
  Gregor Snelting, Frank Tip:
  Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
• 
  Perdita Stevens, Rob Pooley:
  Systems Reengineering Patterns. SIGSOFT FSE 1998: 17-23
• 
  Sylvia Stuurman, Jan van Katwijk:
  On-Line Change Mechanisms. SIGSOFT FSE 1998: 80-86
• 
  Leon J. Osterweil, William L. Scherlis:
  Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998. ACM 1998, ISBN 978-1-58113-108-6 [contents]