3801 search results - page 38 / 761 » An Approach to Modeling Software Safety |
DSN
2007
IEEE
15 years 4 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...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
100
click to vote
CAISE
1993
Springer
15 years 1 months ago
1993
Springer
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...