10263 search results - page 120 / 2053 » From Use Cases to System Operation Specifications |
175
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
173
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
153
click to vote
JOCN
2010
15 years 4 months ago
2010
■ Stress and corticosteroid hormones are known to affect learning and memory processes. In this study, we examined whether stress and corticosteroids are capable of facilitating...
152
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
152
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...