5718 search results - page 432 / 1144 » Modeling Rule Precision |
208
Voted
FM
2003
Springer
16 years 2 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
170
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
194
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
165
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
169
Voted
APN
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...