2255 search results - page 37 / 451 » High Assurance Software Systems |
129
click to vote
JCP
2008
15 years 3 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
132
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
This position paper describes ongoing work in which the Java-based SEESCOA component system is extended with functionality for run-time evolution. First, an assessment is made of ...
131
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
118
click to vote
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
137
click to vote
ISPW
2005
IEEE
15 years 8 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...