Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Handbook of software reliability engineering
Handbook of software reliability engineering
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
ICSE '91 Proceedings of the 13th international conference on Software engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Enterprise CORBA
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
V & V through Inconsistency Tracking and Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Modular reasoning about open systems: a case study of distributed commit
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Semantic anomaly detection in online data sources
Proceedings of the 24th International Conference on Software Engineering
Enabling automatic adaptation in systems with under-specified elements
WOSS '02 Proceedings of the first workshop on Self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
End users creating effective software
CHI '04 Extended Abstracts on Human Factors in Computing Systems
End users creating effective software
CHI '05 Extended Abstracts on Human Factors in Computing Systems
The first workshop on end-user software engineering
Proceedings of the 27th international conference on Software engineering
The next step: from end-user programming to end-user software engineering
CHI '06 Extended Abstracts on Human Factors in Computing Systems
Supporting end-users in the creation of dependable web clips
Proceedings of the 16th international conference on World Wide Web
Internetware: a shift of software paradigm
Proceedings of the First Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequences of failure justify substantial investment in validation, everyday software is used in settings in which occasional degraded service or even failure is tolerable. Unlike high-assurance software, which has been the subject of extensive scrutiny, everyday software has received only meager attention concerning how good it must be, how to decide whether a system is sufficiently correct, or how to detect and remedy abnormalities. The need for such techniques is particularly strong for software that takes the form of open resource coalitions - loosely coupled aggregations of independent distributed resources. In this paper, we discuss the problem of determining fitness for purpose, introduce a model for detecting abnormal behavior, and describe some of the ways to deal with abnormalities when they are detected.