Sciweavers

5252 search results - page 375 / 1051
» Requirements engineering: a roadmap
Sort
View
COMPSAC
2005
IEEE
16 years 1 months ago
Designing Controllers for Reachability
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
Cristina Cerschi Seceleanu
CSMR
2005
IEEE
16 years 1 months ago
A Process Model and Typology for Software Product Updaters
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
Slinger Jansen, Gerco Ballintijn, Sjaak Brinkkempe...
ISESE
2005
IEEE
16 years 1 months ago
The use and usefulness of the ISO/IEC 9126 quality standard
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
Hiyam Al-Kilidar, Karl Cox, Barbara Kitchenham
ISPW
2005
IEEE
16 years 1 months ago
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin C...
SCAM
2005
IEEE
16 years 1 months ago
A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
Richard E. Jones, Andy C. King