Sciweavers

Share
ITRUST
2005
Springer

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements

10 years 5 months ago
ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers to draw visual models representing functional, security and trust requirements of systems and, then, to verify formally and automatically their correctness and consistency through different model-checkers.
Paolo Giorgini, Fabio Massacci, John Mylopoulos, A
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where ITRUST
Authors Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone
Comments (0)
books