In software engineering empirical methods are used to develop a scientific knowledge about how useful different SE methods and techniques are. The purpose is that of guiding the development of new SE technology and of supporting SE technology selection in industry. A variety of empirical methods are available (see for instance Easterbrook).
So far, several case studies have been developed to give evidence of the effectiveness of the Tropos methodologies and its extensions. Some of them are described in terms of experience papers. Comparative evaluations of the understandability of Tropos vs. UC models have also been realized through a controlled experiments.
|Authors||Title||Place published||Year published|
|S. Troesterer and E. Beck and F. Dalpiaz and E. Paja and P. Giorgini and M. Tscheligi||Formative User-Centered Evaluation of Security Modeling: Results from a Case Study||International Journal of Secure Software Engineering||2012||Download||Details|
|Hadar, I.; Reinhartz-Berger, I.; Kuflik, T.; Perini, A.; Ricca, F.; Susi, A.||An empirical study of Requirements Model understanding: Use Case vs. Tropos models||25th ACM Symposium on Applied Computing||2010||Details|
|Perini, A.; Susi, A.||Understanding the Requirements of a Decision Support System for Agriculture. An Agent-Oriented approach||PICO Project||2009||Download||Details|
|Bryl, V.; Dalpiaz, F.; Ferrario, R.; Mattioli, A.; Villafiorita, A.||Evaluating Procedural Alternatives: a Case Study in e-Voting.||Electronic Government, an International Journal||2009||Download||Details|
|Morandini, M; Nguyen, D.C.; Perini, A.;Siena, A.; Susi, A.||Tool-Supported Development with Tropos: The Conference Management System Case Study||8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007||2008||Download||Details|
|Siena, A.; Maiden, N.; Lockerbie, J.; Karlsen, K.; Perini, A.; Susi, A.||Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability.||20th International Conference on Advanced Information Systems Engineering (CAiSE'08)||2008||Download||Details|
|Bryl, V.; Dalpiaz, F.; Ferrario, R.; Mattioli, A.; Villafiorita, A.||Evaluating Procedural Alternatives. A Case Study in E-Voting.||1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)||2007||Download||Details|
|Giorgini, P.; Massacci, F.; Mylopoulos, J.||Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard||22nd International Conference on Conceptual Modeling (ER 2003)||2003||Details|
|P. Giorgini; M. Kolp; J. Mylopoulos||Multi-Agent and Software Architecture: A Comparative Case Study.||1st International Conference on Autonomous Agent and Multi Agent Systems (AAMAS'02)||2002||Download||Details|
|M. Garzetti; P. Giorgini; J. Mylopoulos; F. Sannicolò||Applying Tropos Methodology to a real case study: Complexity and Criticality analysis.||Workshop on "Dagli OGGETTI agli AGENTI - Dall'informazione alla Conoscenza (WOA02)"||2002||Download||Details|
|P. Bresciani; P. Giorgini; F. Giunchiglia; J. Mylopoulos; A. Perini||Agent-Oriented Software Development: A Case Study.||Thirteenth International Conference on Software Engineering (2001)||2001||Download||Details|