2935 search results - page 125 / 587 » An Integrated Approach to High Integrity Software Verificati... |
157
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...
127
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
131
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
135
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
The current agile software development methods do not seem to address usability and interaction design issues enough, i.e., the interaction design process may remain implicit. Howe...
125
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...