2255 search results - page 37 / 451 » High Assurance Software Systems |
JCP
2008
13 years 8 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...
ICSM
2002
IEEE
14 years 1 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 ...
KBSE
2005
IEEE
14 years 2 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...
COMPSAC
2004
IEEE
14 years 12 days 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...
ISPW
2005
IEEE
14 years 2 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...