![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
29. SEW 2005: Greenbelt, Maryland, USA
- 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA. IEEE Computer Society 2006, ISBN 0-7695-2306-4
Software Release
- Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown:
Is My Software "Good Enough" to Release? - A Probabilistic Assessment. 5-13 - Moshood Omolade Saliu, Günther Ruhe:
Supporting Software Release Planning Decisions for Evolving Systems. 14-26
Development Issues
- Pornpit Wongthongtham, Elizabeth Chang
, Chan Cheah, Tharam S. Dillon:
Software Engineering Sub-Ontology for Specific Software Development. 27-33 - David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng:
Bridging the Gap between Systems Design. 34-46
Analysis and Evaluation
- Swapna S. Gokhale, John R. Crigler, William H. Farr, Dolores R. Wallace:
System Availability Analysis Considering Hardware/Software Failure Severities. 47-56 - Mariângela Vanzin, Marcelo Blois Ribeiro, Rafael Prikladnicki, Ilmari Ceccato, Dante Carlos Antunes:
Global Software Processes Definition in a Distributed Environment. 57-65 - Thomas Panas, Rüdiger Lincke, Jonas Lundberg, Welf Löwe:
A Qualitative Evaluation of a Software Development and Re-Engineering Project. 66-75 - Michael S. Moore, Jeremy C. Price, Ben Abbott, John Liebetreu, Richard C. Reinhart, Thomas J. Kacpura:
Modeling and Analysis of Space Based Transceivers. 76-88
Code and Programming
- Mark E. M. Stewart:
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. 89-96 - Markus Pizka:
Code Normal Forms. 97-108
Requirements Issues
- Boby George, H. Lally Singh, Shawn A. Bohner, Denis Gracanin
:
Requirements Capture for Cougaar Model-Driven Architecture System. 109-117 - Lester O. Lobo, James D. Arthur:
An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. 118-130
Risk and Safety
- Norman F. Schneidewind:
Predicting Risk as a Function of Risk Factors. 131-141 - Rattikorn Hewett, Remzi Seker:
A Risk Assessment Model of Embedded Software Systems. 142-149 - Yangyang Yu, Barry W. Johnson:
The Quantitative Safety Assessment for Safety-Critical Software. 150-162
Architecture Issues
- Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick:
ADLARS: An Architecture Description Language for Software Product Lines. 163-173 - Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song:
A Generative Style-driven Framework for Software Architecture Design. 173-182 - Mahmoud O. Elish
, David C. Rine:
Indicators of Structural Stability of Object-Oriented Designs: A Case Study. 183-192
Real Time and Concurrency Issues
- Andrew J. Kornecki, Janusz Zalewski:
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. 193-200 - R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon:
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. 201-210 - Ugo A. Buy, Mihai Lehene, Houshang Darabi:
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. 211-218
Information and Reasoning Issues
- Tiziana Margaria
, Bernhard Steffen:
Second-Order Semantic Web. 219-227 - Phillip A. Laplante, Colin J. Neill:
Uncertainty: A Meta-Property of Software. 228-233 - Sten F. Andler, Lars Niklasson, Björn Olsson
, Anne Persson
, Leo J. De Vin
, Benkt Wangler, Tom Ziemke
, Tomas Planstedt:
Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program. 234-244
Formal Approaches
- Phan Cong Vinh, Jonathan P. Bowen
:
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. 245-252 - Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski:
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. 253-264
Defects and Analysis
- Stefan Wagner
:
Towards Software Quality Economics for Defect-Detection Techniques. 265-274 - Bettina Anders, Jörg Fellmann, Mikael Lindvall, Ioana Rus:
Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment. 275-284
Verification Issues
- Peter C. Mehlitz, John Penix:
Design for Verification with Dynamic Assertions. 285-292 - Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef:
Bayesian Networks applied to Software IV&V. 293-304
Testing and Validation
- David Coppit, Jennifer M. Haddox-Schatz:
On the Use of Specification-Based Assertions as Test Oracles. 305-314 - Paolo Donzelli, Daniel Hirschbach, Victor R. Basili:
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. 315-324 - Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman:
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. 325-332
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.