Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
124 | Haralambos Mouratidis, Michael Weiss 0001 |
Patterns for Modelling Agent Systems with Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS (LNCS) ![In: Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005]., pp. 207-223, 2005, Springer, 3-540-33580-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
95 | Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos |
High variability design for software agents: Extending Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 2(4), pp. 16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Agent capability design, early requirements, agent-oriented software engineering, goal-oriented requirements engineering |
81 | Fabio Massacci, John Mylopoulos, Nicola Zannone |
Computer-aided Support for Secure Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 14(3), pp. 341-364, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CASE tools, Automated reasoning, Security requirements engineering |
81 | Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke |
Comparing Three Formal Analysis Approaches of the Tropos Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers, pp. 164-182, 2006, Springer, 978-3-540-77989-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
81 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
Tropos: An Agent-Oriented Software Development Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 8(3), pp. 203-236, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multi-agent systems, agent-oriented software engineering, agent-oriented methodologies |
81 | Paolo Bresciani, Fabrizio Sannicolò |
Requirements Analysis in Tropos: A Self-Referencing Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services ![In: Agent Technologies, Infrastructures, Tools, and Applications for E-Services, NODe 2002 Agent-Related Workshops, Erfurt, Germany, October 7-10, 2002. Revised Papers, pp. 21-35, 2002, Springer, 3-540-00742-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
78 | Irit Hadar, Tsvi Kuflik, Anna Perini, Iris Reinhartz-Berger, Filippo Ricca, Angelo Susi |
An empirical study of requirements model understanding: Use Case vs. Tropos models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2324-2329, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UML use cases, tropos, requirements engineering, requirements, controlled experiment |
78 | Ken Decreus, Geert Poels |
Mapping semantically enriched Formal Tropos to business process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 371-376, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formal Tropos, business process modelling ontology, early phase requirements, specification, semantic business process management |
78 | Raimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois 0001, Patrick Heymans, Nicolas Genon |
Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 541-555, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Secure Tropos, security, information system, Risk management |
67 | Jaelson Castro, Manuel Kolp, Lin Liu 0001, Anna Perini |
Dealing with Complexity Using Conceptual Models Based on Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 335-362, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
complexity, testing, requirements engineering, process modelling, aspect, goal modelling |
67 | Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone |
-Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, pp. 157-176, 2007, Springer, 978-3-540-88832-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Carlos Cares, Xavier Franch, Enric Mayol |
Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 396-405, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
67 | Ashok U. Mallya, Munindar P. Singh |
Incorporating Commitment Protocols into Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers, pp. 69-80, 2005, Springer, 3-540-34097-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
67 | Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso |
Specifying and analyzing early requirements in Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 9(2), pp. 132-150, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Early requirements specifications, Model checking, Formal methods |
67 | Fausto Giunchiglia, John Mylopoulos, Anna Perini |
The Tropos Software Development Methodology: Processes, Models and Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions, pp. 162-173, 2002, Springer, 3-540-00713-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
67 | John Mylopoulos, Manuel Kolp, Jaelson Castro |
UML for Agent-Oriented Software Development: The Tropos Proposal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 422-441, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
58 | Carlos Cares, Xavier Franch, Enric Mayol |
Using Antimodels to Define Agents' Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers, pp. 284-293, 2006, Springer, 978-3-540-69618-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Ariel Fuxman, Lin Liu 0001, Marco Pistore, Marco Roveri, John Mylopoulos |
Specifying and Analyzing Early Requirements: Some Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA., pp. 105-, 2003, IEEE Computer Society, 0-7695-1980-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Haralambos Mouratidis, Paolo Giorgini, Gordon A. Manson |
Modelling secure multiagent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 859-866, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
tropos, security, multiagent systems, methodologies, agent oriented software engineering |
55 | Manuel Kolp, Paolo Giorgini, John Mylopoulos |
Information systems development through social structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 183-190, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
i* framework, tropos methodology, requirements engineering |
52 | Tania Di Mascio, Anna Perini, Luca Sabatucci, Angelo Susi |
Building and Browsing Tropos Models: The AVI Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Information and Interaction, Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 269-276, 2009, Springer, 978-3-642-02558-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Pankaj R. Telang, Munindar P. Singh |
Enhancing Tropos with Commitments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 417-435, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Raian Ali, Fabiano Dalpiaz, Paolo Giorgini |
Location-Based Software Modeling and Analysis: Tropos-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings, pp. 169-182, 2008, Springer, 978-3-540-87876-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi |
Tool-Supported Development with Tropos: The Conference Management System Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, pp. 182-196, 2007, Springer, 978-3-540-79487-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Fausto Giunchiglia, John Mylopoulos, Anna Perini |
The tropos software development methodology: processes, models and diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 35-36, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
agent-oriented software engineering |
52 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
Modeling Early Requirements in Tropos: A Transformation Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions, pp. 151-168, 2001, Springer, 3-540-43282-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Haralambos Mouratidis, Paolo Ciorgini |
Secure Tropos: Extending /* and Tropos to Model Security Throughout the Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Social Modeling for Requirements Engineering ![In: Social Modeling for Requirements Engineering., pp. 363-402, 2011, MIT Press, 978-0-262-24055-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
47 | Haralambos Mouratidis, Paolo Giorgini |
Secure Tropos: a Security-Oriented Extension of the Tropos Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 17(2), pp. 285-309, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Paolo Bresciani, Fabrizio Sannicolò |
Applying Tropos to requirement analysis for a Tropos tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS@CAiSE ![In: AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at CAiSE*02), 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone |
Modeling Security Requirements Through Ownership, Permission and Delegation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pp. 167-176, 2005, IEEE Computer Society, 0-7695-2425-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
A knowledge level software engineering methodology for agent oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 648-655, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
design methodologies, agent-based software engineering |
40 | Patrice Caire, Leendert W. N. van der Torre |
Temporal dependence networks for the design of convivial multiagent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1317-1318, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
TROPOS, conviviality, multiagent systems, dependence networks |
38 | Komminist Weldemariam |
Navigational Web-Interfaces from Formal Tropos Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World X, 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings, pp. 233-235, 2009, Springer, 978-3-642-10202-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Nadzeya Kiyavitskaya, Nicola Zannone |
Requirements model generation to support requirements elicitation: the Secure Tropos experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 15(2), pp. 149-173, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lightweight text analysis, Model generation |
38 | Francesco Pagliarecci, Loris Penserini, Luca Spalazzi |
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 105-114, 2007, Springer, 978-3-540-76887-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Volha Bryl, Paolo Giorgini, John Mylopoulos |
Supporting Requirements Analysis in Tropos: A Planning-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers, pp. 243-254, 2007, Springer, 978-3-642-01638-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Loris Penserini, Paolo Bresciani, Tsvi Kuflik, Paolo Busetta |
Using Tropos to Model Agent Based Architectures for Adaptive Systems: A Case Study in Ambient Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SwSTE ![In: 2005 IEEE International Conference on Software - Science, Technology and Engineering (SwSTE 2005), 22-23 February 2005, Herzelia, Israel, pp. 37-46, 2005, IEEE Computer Society, 0-7695-2335-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Diana Lau, John Mylopoulos |
Designing Web Services with Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 306-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Haralambos Mouratidis, Paolo Giorgini, Gordon A. Manson |
An Ontology for Modelling Security: The Tropos Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 1387-1394, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Brian Henderson-Sellers, Paolo Giorgini, Paolo Bresciani |
Supporting Tropos Concepts in Agent OPEN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers, pp. 328-345, 2003, Springer, 3-540-22231-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Anna Perini, Angelo Susi, Fausto Giunchiglia |
Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 51-54, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso |
Model Checking Early Requirements Specifications in Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 174-181, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Aneesh Krishna, He Lu |
Requirements Elicitation Using Goal-Based Organizational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, pp. 543-551, 2008, IEEE Computer Society, 978-0-7695-3100-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Requirements Elicitation |
29 | Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone |
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 1240-1247, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Andreas Gehlert, André Heuer |
Towards Goal-Driven Self Optimisation of Service Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ServiceWave ![In: Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings, pp. 13-24, 2008, Springer, 978-3-540-89896-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Adaptation of Service Based Applications, Requirements Engineering, Goal Models, Model Comparison |
29 | Yudistira Asnar, Paolo Giorgini, Roberto Bonato, Valentino Meduri, Carlo Riccucci |
Secure and Dependable Patterns in Organizations: An Empirical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India, pp. 287-292, 2007, IEEE Computer Society, 0-7695-2935-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Irwin Kwan, Sabrina Marczak, Daniela E. Damian |
Viewing Project Collaborators WhoWork on Interrelated Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India, pp. 369-370, 2007, IEEE Computer Society, 0-7695-2935-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Manuel Kolp, Paolo Giorgini, John Mylopoulos |
Multi-Agent Architectures as Organizational Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 13(1), pp. 3-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Organizational styles, Architectural design, Multi-agent architectures |
29 | Ning Su, John Mylopoulos |
Conceptualizing the Co-evolution of Organizations and Information Systems: An Agent-Oriented Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 296-310, 2006, Springer, 3-540-47224-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone |
Designing Security Requirements Models Through Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings, pp. 33-47, 2006, Springer, 3-540-34652-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos |
From Stakeholder Intentions to Software Agent Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings, pp. 465-479, 2006, Springer, 3-540-34652-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Alicia Martínez 0001, Oscar Pastor 0001, John Mylopoulos, Paolo Giorgini |
From Early to Late Requirements: A Goal-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers, pp. 123-142, 2006, Springer, 978-3-540-77989-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Yudistira Asnar, Paolo Giorgini |
Modelling Risk and Identifying Countermeasure in Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006, Revised Papers, pp. 55-66, 2006, Springer, 3-540-69083-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
countermeasure identification, risk analysis, goal modelling |
29 | Haralambos Mouratidis, Michael Weiss 0001, Paolo Giorgini |
Security Patterns Meet Agent Oriented Software Engineering: A Complementary Solution for Developing Secure Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 225-240, 2005, Springer, 3-540-29389-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Jaelson Castro, Manuel Kolp, John Mylopoulos |
A Requirements-Driven Development Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, pp. 108-123, 2001, Springer, 3-540-42215-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | John Mylopoulos, Ariel Fuxman, Paolo Giorgini |
From Entities and Relationships to Social Actors and Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2000, 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings, pp. 27-36, 2000, Springer, 3-540-41072-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
conceptual models, enterprise models, entity-relationship model, requirements models, semantic data models, software development methodologies |
26 | Moussa Ouedraogo, Haralambos Mouratidis, Djamel Khadraoui, Eric Dubois 0001 |
An Agent-Based System to Support Assurance of Security Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 78-87, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Security assurance, Secure Tropos, multi-agents systems, Security requirements, security verification |
26 | Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón |
Integrating agent-oriented methodologies with UML-AT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1303-1310, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
INGENIAS, Tropos, UML-AT, multi-agent systems, activity theory, method engineering, conceptual mappings |
26 | Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos |
Information systems as social structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 10-21, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
i* framework, tropos methodology, organizational modeling |
23 | Wencheng Huang 0001, Yue Zhang, Dezhi Yin, Borui Zuo, Zhanru Liu |
Urban bus accident analysis: based on a Tropos Goal Risk-Accident Framework considering Learning From Incidents process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 216, pp. 107918, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Georgios Kavallieratos, Sokratis K. Katsikas, Vasileios Gkioulos |
SafeSec Tropos: Joint security and safety requirements elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 70, pp. 103429, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Yves Wautelet, Manuel Kolp, Loris Penserini |
Service-Driven Iterative Software Project Management with I-Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 24(7), pp. 975-1011, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Vu H. A. Nguyen, Manuel Kolp, Yves Wautelet |
Knowledge Management Governance in Software Development Process with GI-Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., pp. 468-467, 2018, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-44-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Vu H. A. Nguyen, Manuel Kolp, Yves Wautelet, Samedi Heng |
Mapping IT Governance to Software Development Process: From COBIT 5 to GI-Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: Proceedings of the 20th International Conference on Enterprise Information Systems, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Volume 2., pp. 665-672, 2018, SciTePress, 978-989-758-298-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Michalis Pavlidis, Haralambos Mouratidis, Emmanouil Panaousis, Nikolaos Argyropoulos |
Selecting Security Mechanisms in Secure Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business - 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings, pp. 99-114, 2017, Springer, 978-3-319-64482-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Haralambos Mouratidis, Nikolaos Argyropoulos, Shaun Shei |
Security Requirements Engineering for Cloud Computing: The Secure Tropos Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Conceptual Modeling ![In: Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, pp. 357-380, 2016, Springer, 978-3-319-39416-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Hugo Estrada 0001, Karen Najera, Blanca Vázquez, Alicia Martínez 0001, Juan Carlos Téllez, Juan José Hierro |
Applying Tropos Modeling for Smart Mobility Applications Based on the FIWARE Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iStar ![In: Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), Beijing, China, September 12-13, 2016., pp. 85-90, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Vahid Rafe, Mitra Golparian, Siamak Rasoolzadeh |
Using graph transformation systems to formalize Tropos diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 30, pp. 1-16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Atilio Rrenja, Raimundas Matulevicius |
Pattern-Based Security Requirements Derivation from Secure Tropos Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PoEM ![In: The Practice of Enterprise Modeling - 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings, pp. 59-74, 2015, Springer, 978-3-319-25896-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Mellado, Haralambos Mouratidis, Eduardo Fernández-Medina |
Secure Tropos framework for software product lines requirements engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 36(4), pp. 711-722, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Mirko Morandini, Fabiano Dalpiaz, Cu Duy Nguyen, Alberto Siena |
The Tropos Software Engineering Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Agent-Oriented Design Processes ![In: Handbook on Agent-Oriented Design Processes, pp. 463-490, 2014, Springer, 978-3-642-39974-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Pradeep K. Murukannaiah, Munindar P. Singh |
Xipho: extending tropos to engineer context-aware personal agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pp. 309-316, 2014, IFAAMAS/ACM, 978-1-4503-2738-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Irit Hadar, Iris Reinhartz-Berger, Tsvi Kuflik, Anna Perini, Filippo Ricca, Angelo Susi |
Comparing the comprehensibility of requirements models expressed in Use Case and Tropos: Results from a family of experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 55(10), pp. 1823-1843, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | John Mylopoulos, Jaelson Castro, Manuel Kolp |
The Evolution of Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminal Contributions to Information Systems Engineering ![In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 281-287, 2013, Springer, 978-3-642-36925-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Raimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois 0001, Patrick Heymans |
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 18(6), pp. 816-844, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Abelneh Y. Teka, Nelly Condori-Fernández, Ivan Kurtev, Dick A. C. Quartel, Wilco Engelsman |
Change impact analysis of indirect goal relations: Comparison of NFR and TROPOS approaches based on industrial case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE ![In: Second IEEE International Workshop on Model-Driven Requirements Engineering, MoDRE 2012, Chicago, IL, USA, September 24, 2012, pp. 58-67, 2012, IEEE Computer Society, 978-1-4673-4387-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Naved Ahmed, Raimundas Matulevicius, Haralambos Mouratidis |
A Model Transformation from Misuse Cases to Secure Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE), Gdansk, Poland, June 28, 2012, pp. 7-14, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl |
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 23(2), pp. 193-223, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Haralambos Mouratidis |
Secure Software Systems Engineering: The Secure Tropos Approach (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 6(3), pp. 331-339, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Paolo Giorgini, John Mylopoulos, Anna Perini, Angelo Susi |
The Tropos Methodology and Software Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Social Modeling for Requirements Engineering ![In: Social Modeling for Requirements Engineering., pp. 405-424, 2011, MIT Press, 978-0-262-24055-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Paolo Giorgini, John Mylopoulos, Roberto Sebastiani |
Goal Modeling and Reasoning in Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Social Modeling for Requirements Engineering ![In: Social Modeling for Requirements Engineering., pp. 645-668, 2011, MIT Press, 978-0-262-24055-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Renata S. S. Guizzardi, Giancarlo Guizzardi |
Ontology-Based Transformation Framework from Tropos to AORML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Social Modeling for Requirements Engineering ![In: Social Modeling for Requirements Engineering., pp. 547-570, 2011, MIT Press, 978-0-262-24055-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Fabio Massacci, Nicola Zannone |
Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Social Modeling for Requirements Engineering ![In: Social Modeling for Requirements Engineering., pp. 337-362, 2011, MIT Press, 978-0-262-24055-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Michalis Pavlidis, Shareeful Islam, Haralambos Mouratidis |
A CASE Tool to Support Automated Modelling and Analysis of Security Requirements, Based on Secure Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum (Selected Papers) ![In: IS Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers, pp. 95-109, 2011, Springer, 978-3-642-29748-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Michalis Pavlidis, Shareeful Islam |
SecTro: A CASE Tool for Modelling Security in Requirements Engineering using Secure Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011, pp. 89-96, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Andreas Gehlert |
Prioritizing Strategic IT Projects with Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: 10. Internationale Tagung Wirtschaftsinformatik, Zürich, 16.-18. Februar 2011, pp. 46, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Naved Ahmed, Raimundas Matulevicius |
Towards transformation guidelines from secure tropos to misuse cases (position paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS@ICSE ![In: Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011, Waikiki, Honolulu, HI, USA, May 22, 2011, pp. 36-42, 2011, ACM, 978-1-4503-0581-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Mirko Morandini, Duy Cu Nguyen, Loris Penserini, Anna Perini, Angelo Susi |
Tropos Modeling, Code Generation and Testing with the Taom4E Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iStar ![In: Proceedings of the 5th International i* Workshop 2011, Trento, Italy, August 28-29, 2011, pp. 172-174, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Luca Sabatucci, Chiara Leonardi, Angelo Susi, Massimo Zancanaro |
Issues and Challenges in Coupling Tropos with User-Centred Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iStar ![In: Proceedings of the 5th International i* Workshop 2011, Trento, Italy, August 28-29, 2011, pp. 120-125, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Graham Low, Haralambos Mouratidis, Brian Henderson-Sellers |
Using a Situational Method Engineering Approach to Identify Reusable Method Fragments from the Secure TROPOS Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 9(4), pp. 93-125, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Fabio Massacci, John Mylopoulos, Nicola Zannone |
Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Intelligent Information Systems ![In: Advances in Intelligent Information Systems, pp. 147-174, 2010, Springer, 978-3-642-05182-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Alicia Martínez 0001, Carmen Velasco, Eliel Morales, Hugo Estrada 0001, Luis A. Gama |
Lenguaje de Especificación para el Framework Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER10 - Workshop em Engenharia de Requisitos, Cuenca, Ecuador, April 12-13, 2010, 2010, 978-9978-325-12-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Vítor Estêvão Silva Souza |
The Evolution of Tropos: Contexts, Commitments and Adaptivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iStar ![In: Proceedings of the 4th International i* Workshop, Hammamet, Tunisia, June 07-08, 2010, pp. 15-19, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | João Pimentel 0001, Emanuel Santos, Bárbara Santos, Clarissa Borba, Josias Paes, Carlos Lima, André Bezerra, Jaelson Castro, Fernanda M. R. Alencar, Carla T. L. L. Silva, Ricardo Argenton Ramos, Márcia Lucena |
Using i* and Tropos in a Software Engineering Contest: Lessons Learnt and Some Key Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iStar ![In: Proceedings of the 4th International i* Workshop, Hammamet, Tunisia, June 07-08, 2010, pp. 81-86, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Haralambos Mouratidis, Paolo Giorgini |
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Safety and Security in Multiagent Systems ![In: Safety and Security in Multiagent Systems - Research Results from 2004-2006, pp. 8-26, 2009, Springer, 978-3-642-04878-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Nicola Zannone |
Security Agent-Oriented Requirements Engineering - the SI* Modeling Language and the Secure Tropos Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
23 | Asad Ahmed |
Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 229-253, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Fabiano Dalpiaz, Raian Ali, Yudistira Asnar, Volha Bryl, Paolo Giorgini |
Applying Tropos to Socio-Technical System Design and Runtime Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: Proceedings of the 9th Workshop `From Objects to Agents`, Palermo, Italy, July 17-18, 2008, pp. 101-107, 2008, Seneca Edizioni Torino, 978-88-6122-122-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi |
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iStar ![In: Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, pp. 83-89, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Yves Wautelet |
A goal-driven project management framework for multi-agent software development : the case of I-tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|