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.

Publikováno v: 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

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 requ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32450ca72ed2bb427ac97ceafce26688
https://doi.org/10.1007/11429760_33

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Automated Verification Techniques for Probabilistic Systems

Autor: Forejt, V, Kwiatkowska, MZ, Norman, G, Parker, D, Bernardo, M, Issarny, V

Publikováno v: SFM. 6659

This tutorial provides an introduction to probabilistic model checking, a technique for automatically verifying quantitative properties of probabilistic systems. We focus on Markov decision processes (MDPs), which model both stochastic and nondetermi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::7ce7b051bcbf73fb11678d2078c92cf8
http://ora.ox.ac.uk/objects/uuid:e3fbeeba-2762-4f73-b331-fc25790a8532

Dependability in dynamic, evolving and heterogeneous systems

Autor: Bertolino A., Di Giandomenico F., Masci P., Sabetta A., Issarny V., Saadi R., Martinelli F., Matteucci I., Di Marco A.

Publikováno v: SERENE
2nd International Workshop on Software Engineering for Resilient Systems, London, UK, 2010
info:cnr-pdr/source/autori:Martinelli F.; Matteucci I.; Di Marco A.; Issarny V.; Saadi R.; Bertolino A.; Di Giandomenico F.; Masci P. M.; Sabetta A./congresso_nome:2nd International Workshop on Software Engineering for Resilient Systems/congresso_luogo:London, UK/congresso_data:2010/anno:2010/pagina_da:/pagina_a:/intervallo_pagine
2nd International Workshop on Software Engineering for Resilient Systems, London-UK, 13-16 April 2010
info:cnr-pdr/source/autori:Bertolino A.; Di Giandomenico F.; Masci P.; Sabetta A.; Issarny V.; Saadi R.; Martinelli F.; Matteucci I.; Di Marco A./congresso_nome:2nd International Workshop on Software Engineering for Resilient Systems/congresso_luogo:London-UK/congresso_data:13-16 April 2010/anno:2010/pagina_da:/pagina_a:/intervallo_pagine

The EU Future and Emerging Technologies (FET) Project Connect aims at dropping the heterogeneity barriers that prevent the eternality of networking systems through a revo- lutionary approach: to synthesise on-the- y the Connectors via which networked

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c469a8d8014ebf640a1c208df1e8fe1
https://doi.org/10.1145/2401736.2401746

Modelling and analysing reliable service oriented processes

Autor: Vassiliadis, P., Zarras, A., Issarny, V.

This paper introduces principled methods for the reliability analysis of business processes that rely on web services. The input to the problem is the BPEL specification of a business process and the output is the prediction of the process's reliabil

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_____10561::362e7a11783b60012168ba32b5f4e3e4
http://olympias.lib.uoi.gr/jspui/handle/123456789/10997