3765 search results - page 105 / 753 » Formal Methods for Systems Engineering Behavior Models |
104
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
123
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
106
click to vote
ESSOS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
119
click to vote
REFSQ
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
132
click to vote
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...