1494 search results - page 189 / 299 » Monitored Software Components - A Novel Software Engineering... |
153
Voted
SEFM
2008
IEEE
15 years 9 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
102
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a novel methodology for predicting fault prone modules. The methodology is based on Dempster-Shafer (D-S) belief networks. Our approach consists of three step...
141
Voted
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
137
Voted
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
118
Voted
WCET
2010
15 years 1 months ago
2010
Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduc...