ST-Tool: A CASE tool for modeling and analyzing trust requirements

Autor:	Giorgini, P., Fabio Massacci, Mylopoulos, J., Siena, A., Zannone, N., Hermann, P., Issarny, V., Shiu, S.
Jazyk:	angličtina
Rok vydání:	2005
Předmět:	Requirements management Program analysis Correctness Requirements engineering business.industry Computer science Trust management (information system) Artificial intelligence business Software engineering Computer-aided software engineering Formal methods Formal verification
Zdroj:	Scopus-Elsevier Trust Management (Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings), 415-419 STARTPAGE=415;ENDPAGE=419;TITLE=Trust Management (Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings) Lecture Notes in Computer Science ISBN: 9783540260424 iTrust ResearcherID
ISSN:	0302-9743
DOI:	10.1007/11429760_33
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32450ca72ed2bb427ac97ceafce26688 https://doi.org/10.1007/11429760_33 Zobrazit plný text záznamu