15644 search results - page 280 / 3129 » Brittle System Analysis |
165
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...
165
click to vote
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
The Goal Based Requirements Analysis Tool GBRAT is designed to support goal-based requirements analysis. The tool provides procedural support for the identi cation, elaboration, r...
163
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
185
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
189
click to vote
ISSTA
1993
ACM
15 years 10 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...