803 search results - page 73 / 161 » Building Formal Models for Software Requirements |
138
click to vote
DBPL
1989
Springer
15 years 7 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
121
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
145
click to vote
JAIR
2002
15 years 3 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
136
click to vote
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
125
click to vote
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...