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

• 2004
• 
  28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA. IEEE Computer Society 2004, ISBN 0-7695-2064-2 [contents]
• 2003
• 
  Ted Bennett, Paul Wennberg:
  Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment. SEW 2003: 221
• 
  Shawn A. Bohner, Denis Gracanin:
  Software Impact Analysis in a Virtual Environment. SEW 2003: 143
• 
  Doron Drusinsky, Garth Watney:
  Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. SEW 2003: 127
• 
  Aluizio Haendchen Filho, Arndt von Staa, Carlos José Pereira de Lucena:
  A Component-Based Model for Building Reliable Multi-Agent Systems. SEW 2003: 41
• 
  Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza:
  Software Verification and Validation within the (Rational) Unified Process. SEW 2003: 216
• 
  Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach:
  Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66
• 
  Dustin Geletko, Tim Menzies:
  Model-Based Software Testing via Incremental Treatment Learning. SEW 2003: 82
• 
  David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop:
  Addressing Software Security and Mitigations in the Life Cycle. SEW 2003: 201
• 
  Swapna S. Gokhale:
  Optimal Software Release Time Incorporating Fault Correction. SEW 2003: 175
• 
  Lorin Hochstein, Mikael Lindvall:
  Diagnosing architectural degeneration. SEW 2003: 137
• 
  Frantz Iwu, Ian Toyn:
  Modelling and Analysing Fault Propagation in Safety-Related Systems. SEW 2003: 167
• 
  Sunil Kamavaram, Katerina Goseva-Popstojanova:
  Sensitivity of Software Usage to Changes in the Operational Profile. SEW 2003: 157
• 
  Rick Kazman, Mark Klein, Robert L. Nord:
  Tailorable Architecture Methods. SEW 2003: 152
• 
  Andrew J. Kornecki, Janusz Zalewski:
  Design Tool Assessment for Safety-Critical Software Development. SEW 2003: 105
• 
  Frank Lüders:
  Adopting a Software Component Model in Real-Time Systems Development. SEW 2003: 114
• 
  David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao:
  On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW 2003: 75
• 
  Edgardo Palza, Christopher P. Fuhrman, Alain Abran:
  Establishing a Generic and Multidimensional Measurement Repository in CMMI context. SEW 2003: 12
• 
  David M. Raffo, Wayne W. Wakeland:
  Assessing IV&V Benefits Using Simulation. SEW 2003: 97
• 
  Sanjai Rayadurgam, Mats Per Erik Heimdahl:
  Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91
• 
  Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
  Formal Approaches to Intelligent Swarms. SEW 2003: 51
• 
  Ioana Rus, Forrest Shull, Paolo Donzelli:
  Decision Support for Using Software Inspections. SEW 2003: 3
• 
  Norman F. Schneidewind:
  Applying Fault Correction Profiles. SEW 2003: 185
• 
  Ahmed Samy Sidky, James D. Arthur:
  RGML: A Markup Language for Characterizing Requirements Generation Processes. SEW 2003: 29
• 
  Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran:
  On the Run-time Verification of Autonomy Software. SEW 2003: 58
• 
  Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo:
  Validation of Object Oriented Software Design With Fault Tree Analysis. SEW 2003: 209
• 
  Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth:
  A Metrics Based Approach for Identifying Requirements Risks. SEW 2003: 23
• 
  Dolores Zage, Wayne Zage:
  A Stress-Point Resolution System Based on Module Signatures. SEW 2003: 193
• 
  Janusz Zalewski:
  Software Dynamics: A New Measure of Performance for Real-Time Software. SEW 2003: 120