Stop the war!Остановите войну!
for scientists:
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
a service of 
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-05-13 20:14 CEST 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:
