default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28. SEW 2003: Greenbelt, Maryland, USA
- 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
Processes and Inspections
- Ioana Rus, Forrest Shull, Paolo Donzelli:
Decision Support for Using Software Inspections. 3 - Edgardo Palza, Christopher P. Fuhrman
, Alain Abran:
Establishing a Generic and Multidimensional Measurement Repository in CMMI context. 12
Requirements Issues
- Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth:
A Metrics Based Approach for Identifying Requirements Risks. 23 - Ahmed Samy Sidky, James D. Arthur:
RGML: A Markup Language for Characterizing Requirements Generation Processes. 29
Agents and Run-Time Issues
- Aluízio Haendchen Filho, Arndt von Staa, Carlos José Pereira de Lucena:
A Component-Based Model for Building Reliable Multi-Agent Systems. 41 - Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Approaches to Intelligent Swarms. 51 - Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran:
On the Run-time Verification of Autonomy Software. 58 - Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach:
Instrumentation of Intermediate Code for Runtime Verification. 66
Modeling, Model-Checking, and Simulation
- 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. 75 - Dustin Geletko, Tim Menzies:
Model-Based Software Testing via Incremental Treatment Learning. 82 - Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking. 91 - David M. Raffo, Wayne W. Wakeland:
Assessing IV&V Benefits Using Simulation. 97
Real-Time and Safety-Critical Systems
- Andrew J. Kornecki, Janusz Zalewski:
Design Tool Assessment for Safety-Critical Software Development. 105 - Frank Lüders:
Adopting a Software Component Model in Real-Time Systems Development. 114 - Janusz Zalewski:
Software Dynamics: A New Measure of Performance for Real-Time Software. 120 - Doron Drusinsky, Garth Watney:
Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. 127
Architecture, Impact Analysis, and Software Sensitivity
- Lorin Hochstein, Mikael Lindvall:
Diagnosing architectural degeneration. 137 - Shawn A. Bohner, Denis Gracanin:
Software Impact Analysis in a Virtual Environment. 143 - Rick Kazman, Mark Klein, Robert L. Nord:
Tailorable Architecture Methods. 152 - Sunil Kamavaram, Katerina Goseva-Popstojanova:
Sensitivity of Software Usage to Changes in the Operational Profile. 157
Faults and Failures
- Frantz Iwu, Ian Toyn:
Modelling and Analysing Fault Propagation in Safety-Related Systems. 167 - Swapna S. Gokhale:
Optimal Software Release Time Incorporating Fault Correction. 175 - Norman F. Schneidewind:
Applying Fault Correction Profiles. 185 - Dolores Zage, Wayne Zage:
A Stress-Point Resolution System Based on Module Signatures. 193
GUIs and Security
- David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop:
Addressing Software Security and Mitigations in the Life Cycle. 201
Verification and Validation
- Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo:
Validation of Object Oriented Software Design With Fault Tree Analysis. 209 - Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza:
Software Verification and Validation within the (Rational) Unified Process. 216 - Ted Bennett, Paul Wennberg:
Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment. 221
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
