1676 search results - page 138 / 336 » Formal System Development with KIV |
143
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
137
Voted
ERSHOV
2003
Springer
15 years 10 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
131
click to vote
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
137
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
142
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...