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

• 2005
• 
  Periklis Andritsos, Vassilios Tzerpos:
  Information-Theoretic Software Clustering. IEEE Trans. Software Eng. 31(2): 150-165 (2005)
• 
  Lewis Benton Baumstark Jr., Linda M. Wills:
  Retargeting Sequential Image-Processing Programs for Data Parallel Execution. IEEE Trans. Software Eng. 31(2): 116-136 (2005)
• 
  Dirk Beyer, Andreas Noack, Claus Lewerentz:
  Efficient Relational Calculation for Software Analysis. IEEE Trans. Software Eng. 31(2): 137-149 (2005)
• 
  Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
  From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005)
• 
  Richard J. Botting:
  Small Errors in "Toward Formalizing Domain Modeling Semantics in Language Syntax'. IEEE Trans. Software Eng. 31(10): 911 (2005)
• 
  Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero:
  A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Trans. Software Eng. 31(12): 1028-1041 (2005)
• 
  Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc:
  An Experimental Investigation of Formality in UML-Based Development. IEEE Trans. Software Eng. 31(10): 833-849 (2005)
• 
  Magiel Bruntink, Arie van Deursen, Remco van Engelen, Tom Tourwé:
  On the Use of Clone Detection for Identifying Crosscutting Concern Code. IEEE Trans. Software Eng. 31(10): 804-818 (2005)
• 
  Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
  Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE Trans. Software Eng. 31(11): 913-927 (2005)
• 
  David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan:
  Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31(4): 328-339 (2005)
• 
  Vittorio Cortellessa, Katerina Goseva-Popstojanova, Kalaivani Appukkutty, Ajith Guedem, Ahmed E. Hassan, Rania Elnaggar, Walid Abdelmoez, Hany H. Ammar:
  Model-Based Performance Risk Analysis. IEEE Trans. Software Eng. 31(1): 3-20 (2005)
• 
  Gennaro Costagliola, Filomena Ferrucci, Genoveffa Tortora, Giuliana Vitiello:
  Class Point: An Approach for the Size Estimation of Object-Oriented Systems. IEEE Trans. Software Eng. 31(1): 52-74 (2005)
• 
  Davor Cubranic, Gail C. Murphy, Janice Singer, Kellogg S. Booth:
  Hipikat: A Project Memory for Software Development. IEEE Trans. Software Eng. 31(6): 446-465 (2005)
• 
  Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde:
  Generating Annotated Behavior Models from End-User Scenarios. IEEE Trans. Software Eng. 31(12): 1056-1073 (2005)
• 
  David P. Darcy, Chris F. Kemerer, Sandra Slaughter, James E. Tomayko:
  The Structural Complexity of Software: An Experimental Test. IEEE Trans. Software Eng. 31(11): 982-995 (2005)
• 
  Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh:
  Interaction Protocols as Design Abstractions for Business Processes. IEEE Trans. Software Eng. 31(12): 1015-1027 (2005)
• 
  Arie van Deursen, Eleni Stroulia:
  Guest Editor's Introduction: 10th Working Conference on Reverse Engineering. IEEE Trans. Software Eng. 31(2): 97-98 (2005)
• 
  Trung T. Dinh-Trong, James M. Bieman:
  The FreeBSD Project: A Replication Case Study of Open Source Development. IEEE Trans. Software Eng. 31(6): 481-494 (2005)
• 
  Stéphane Ducasse, Michele Lanza:
  The Class Blueprint: Visually Supporting the Understanding of Classes. IEEE Trans. Software Eng. 31(1): 75-90 (2005)
• 
  Tore Dybå:
  An Empirical Investigation of the Key Factors for Success in Software Process Improvement. IEEE Trans. Software Eng. 31(5): 410-424 (2005)
• 
  Sebastian G. Elbaum, Madeline Diep:
  Profiling Deployed Software: Assessing Strategies and Testing Opportunities. IEEE Trans. Software Eng. 31(4): 312-327 (2005)
• 
  Sebastian G. Elbaum, Gregg Rothermel, Srikanth Karre, Marc Fisher II:
  Leveraging User-Session Data to Support Web Application Testing. IEEE Trans. Software Eng. 31(3): 187-202 (2005)
• 
  Hakan Erdogmus, Maurizio Morisio, Marco Torchiano:
  On the Effectiveness of the Test-First Approach to Programming. IEEE Trans. Software Eng. 31(3): 226-237 (2005)
• 
  Joerg Evermann, Yair Wand:
  Toward Formalizing Domain Modeling Semantics in Language Syntax. IEEE Trans. Software Eng. 31(1): 21-37 (2005)
• 
  Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
  Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
• 
  William B. Frakes, Kyo Kang:
  Software Reuse Research: Status and Future. IEEE Trans. Software Eng. 31(7): 529-536 (2005)
• 
  Bernd G. Freimut, Lionel C. Briand, Ferdinand Vollei:
  Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion. IEEE Trans. Software Eng. 31(12): 1074-1092 (2005)
• 
  Xiang Fu, Tevfik Bultan, Jianwen Su:
  Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005)
• 
  Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott:
  Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005)
• 
  Michael W. Godfrey, Lijie Zou:
  Using Origin Analysis to Detect Merging and Splitting of Source Code Entities. IEEE Trans. Software Eng. 31(2): 166-181 (2005)

skipping 47 more matches