1549 search results - page 4 / 310 » A Formal Approach for the Development of Automated Systems |
TSMC
2010
13 years 2 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
SP
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of