3801 search results - page 40 / 761 » An Approach to Modeling Software Safety |
IJON
2002
14 years 9 months ago
2002
We describe a software-engineering strategy called the `View-Primitive Data Model framework' (or `VPDMf') derived from the design of leading commercial software engineer...
ECBS
2006
IEEE
15 years 1 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
67
Voted
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE