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. © Springer-Verlag Berlin Heidelberg 2005.
ST-Tool: a case tool for modeling and analyzing trust requirements
Giorgini, Paolo;Massacci, Fabio;Mylopoulos, Ioannis;Siena, Alberto;Zannone, Nicola
2005-01-01
Abstract
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. © Springer-Verlag Berlin Heidelberg 2005.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
