60 search results - page 7 / 12 » ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requir... |
ECBS
1999
IEEE
13 years 11 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
ER
2004
Springer
14 years 26 days ago
2004
Springer
A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice dev...
WSC
2000
13 years 8 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...