Search results for "tropos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Haralambos Mouratidis, Michael Weiss 0001	Patterns for Modelling Agent Systems with Tropos.	SELMAS (LNCS)	2005	DBLP DOI BibTeX RDF
95	Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos	High variability design for software agents: Extending Tropos.	ACM Trans. Auton. Adapt. Syst.	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.	Autom. Softw. Eng.	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.	AOIS	2006	DBLP DOI BibTeX RDF
81	Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos	Tropos: An Agent-Oriented Software Development Methodology.	Auton. Agents Multi Agent Syst.	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.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	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.	SAC	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.	SAC	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.	CAiSE	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.	Conceptual Modeling: Foundations and Applications	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.	CLIMA	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.	CLIMA	2005	DBLP DOI BibTeX RDF
67	Ashok U. Mallya, Munindar P. Singh	Incorporating Commitment Protocols into Tropos.	AOSE	2005	DBLP DOI BibTeX RDF
67	Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso	Specifying and analyzing early requirements in Tropos.	Requir. Eng.	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.	AOSE	2002	DBLP DOI BibTeX RDF
67	John Mylopoulos, Manuel Kolp, Jaelson Castro	UML for Agent-Oriented Software Development: The Tropos Proposal.	UML	2001	DBLP DOI BibTeX RDF
58	Carlos Cares, Xavier Franch, Enric Mayol	Using Antimodels to Define Agents' Strategy.	CLIMA	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.	RE	2003	DBLP DOI BibTeX RDF
55	Haralambos Mouratidis, Paolo Giorgini, Gordon A. Manson	Modelling secure multiagent systems.	AAMAS	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.	SEKE	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.	HCI (9)	2009	DBLP DOI BibTeX RDF
52	Pankaj R. Telang, Munindar P. Singh	Enhancing Tropos with Commitments.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
52	Raian Ali, Fabiano Dalpiaz, Paolo Giorgini	Location-Based Software Modeling and Analysis: Tropos-Based Approach.	ER	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.	AOSE	2007	DBLP DOI BibTeX RDF
52	Fausto Giunchiglia, John Mylopoulos, Anna Perini	The tropos software development methodology: processes, models and diagrams.	AAMAS	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.	AOSE	2001	DBLP DOI BibTeX RDF
47	Haralambos Mouratidis, Paolo Ciorgini	Secure Tropos: Extending /* and Tropos to Model Security Throughout the Development Process.	Social Modeling for Requirements Engineering	2011	DBLP BibTeX RDF
47	Haralambos Mouratidis, Paolo Giorgini	Secure Tropos: a Security-Oriented Extension of the Tropos Methodology.	Int. J. Softw. Eng. Knowl. Eng.	2007	DBLP DOI BibTeX RDF
47	Paolo Bresciani, Fabrizio Sannicolò	Applying Tropos to requirement analysis for a Tropos tool.	AOIS@CAiSE	2002	DBLP BibTeX RDF
43	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Modeling Security Requirements Through Ownership, Permission and Delegation.	RE	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.	Agents	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.	AAMAS (2)	2009	DBLP BibTeX RDF	TROPOS, conviviality, multiagent systems, dependence networks
38	Komminist Weldemariam	Navigational Web-Interfaces from Formal Tropos Specification.	ESAW	2009	DBLP DOI BibTeX RDF
38	Nadzeya Kiyavitskaya, Nicola Zannone	Requirements model generation to support requirements elicitation: the Secure Tropos experience.	Autom. Softw. Eng.	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.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
38	Volha Bryl, Paolo Giorgini, John Mylopoulos	Supporting Requirements Analysis in Tropos: A Planning-Based Approach.	PRIMA	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.	SwSTE	2005	DBLP DOI BibTeX RDF
38	Diana Lau, John Mylopoulos	Designing Web Services with Tropos.	ICWS	2004	DBLP DOI BibTeX RDF
38	Haralambos Mouratidis, Paolo Giorgini, Gordon A. Manson	An Ontology for Modelling Security: The Tropos Approach.	KES	2003	DBLP DOI BibTeX RDF
38	Brian Henderson-Sellers, Paolo Giorgini, Paolo Bresciani	Supporting Tropos Concepts in Agent OPEN.	ESAW	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.	SEKE	2002	DBLP DOI BibTeX RDF
38	Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso	Model Checking Early Requirements Specifications in Tropos.	RE	2001	DBLP DOI BibTeX RDF
29	Aneesh Krishna, He Lu	Requirements Elicitation Using Goal-Based Organizational Model.	Australian Software Engineering Conference	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.	ARES	2008	DBLP DOI BibTeX RDF
29	Andreas Gehlert, André Heuer	Towards Goal-Driven Self Optimisation of Service Based Applications.	ServiceWave	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.	RE	2007	DBLP DOI BibTeX RDF
29	Irwin Kwan, Sabrina Marczak, Daniela E. Damian	Viewing Project Collaborators WhoWork on Interrelated Requirements.	RE	2007	DBLP DOI BibTeX RDF
29	Manuel Kolp, Paolo Giorgini, John Mylopoulos	Multi-Agent Architectures as Organizational Structures.	Auton. Agents Multi Agent Syst.	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.	ER	2006	DBLP DOI BibTeX RDF
29	Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone	Designing Security Requirements Models Through Planning.	CAiSE	2006	DBLP DOI BibTeX RDF
29	Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos	From Stakeholder Intentions to Software Agent Implementations.	CAiSE	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.	AOIS	2006	DBLP DOI BibTeX RDF
29	Yudistira Asnar, Paolo Giorgini	Modelling Risk and Identifying Countermeasure in Organizations.	CRITIS	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.	ER	2005	DBLP DOI BibTeX RDF
29	Jaelson Castro, Manuel Kolp, John Mylopoulos	A Requirements-Driven Development Methodology.	CAiSE	2001	DBLP DOI BibTeX RDF
29	John Mylopoulos, Ariel Fuxman, Paolo Giorgini	From Entities and Relationships to Social Actors and Dependencies.	ER	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.	SSIRI	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.	AAMAS	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.	FOIS	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.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
23	Georgios Kavallieratos, Sokratis K. Katsikas, Vasileios Gkioulos	SafeSec Tropos: Joint security and safety requirements elicitation.	Comput. Stand. Interfaces	2020	DBLP DOI BibTeX RDF
23	Yves Wautelet, Manuel Kolp, Loris Penserini	Service-Driven Iterative Software Project Management with I-Tropos.	J. Univers. Comput. Sci.	2018	DBLP BibTeX RDF
23	Vu H. A. Nguyen, Manuel Kolp, Yves Wautelet	Knowledge Management Governance in Software Development Process with GI-Tropos.	SEKE	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.	ICEIS (2)	2018	DBLP DOI BibTeX RDF
23	Michalis Pavlidis, Haralambos Mouratidis, Emmanouil Panaousis, Nikolaos Argyropoulos	Selecting Security Mechanisms in Secure Tropos.	TrustBus	2017	DBLP DOI BibTeX RDF
23	Haralambos Mouratidis, Nikolaos Argyropoulos, Shaun Shei	Security Requirements Engineering for Cloud Computing: The Secure Tropos Approach.	Domain-Specific Conceptual Modeling	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.	iStar	2016	DBLP BibTeX RDF
23	Vahid Rafe, Mitra Golparian, Siamak Rasoolzadeh	Using graph transformation systems to formalize Tropos diagrams.	J. Vis. Lang. Comput.	2015	DBLP DOI BibTeX RDF
23	Atilio Rrenja, Raimundas Matulevicius	Pattern-Based Security Requirements Derivation from Secure Tropos Models.	PoEM	2015	DBLP DOI BibTeX RDF
23	Daniel Mellado, Haralambos Mouratidis, Eduardo Fernández-Medina	Secure Tropos framework for software product lines requirements engineering.	Comput. Stand. Interfaces	2014	DBLP DOI BibTeX RDF
23	Mirko Morandini, Fabiano Dalpiaz, Cu Duy Nguyen, Alberto Siena	The Tropos Software Engineering Methodology.	Handbook on Agent-Oriented Design Processes	2014	DBLP DOI BibTeX RDF
23	Pradeep K. Murukannaiah, Munindar P. Singh	Xipho: extending tropos to engineer context-aware personal agents.	AAMAS	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.	Inf. Softw. Technol.	2013	DBLP DOI BibTeX RDF
23	John Mylopoulos, Jaelson Castro, Manuel Kolp	The Evolution of Tropos.	Seminal Contributions to Information Systems Engineering	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.	J. Univers. Comput. Sci.	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.	MoDRE	2012	DBLP DOI BibTeX RDF
23	Naved Ahmed, Raimundas Matulevicius, Haralambos Mouratidis	A Model Transformation from Misuse Cases to Secure Tropos.	CAiSE Forum	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.	Auton. Agents Multi Agent Syst.	2011	DBLP DOI BibTeX RDF
23	Haralambos Mouratidis	Secure Software Systems Engineering: The Secure Tropos Approach (Invited Paper).	J. Softw.	2011	DBLP DOI BibTeX RDF
23	Paolo Giorgini, John Mylopoulos, Anna Perini, Angelo Susi	The Tropos Methodology and Software Development Environment.	Social Modeling for Requirements Engineering	2011	DBLP BibTeX RDF
23	Paolo Giorgini, John Mylopoulos, Roberto Sebastiani	Goal Modeling and Reasoning in Tropos.	Social Modeling for Requirements Engineering	2011	DBLP BibTeX RDF
23	Renata S. S. Guizzardi, Giancarlo Guizzardi	Ontology-Based Transformation Framework from Tropos to AORML.	Social Modeling for Requirements Engineering	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.	Social Modeling for Requirements Engineering	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.	CAiSE Forum (Selected Papers)	2011	DBLP DOI BibTeX RDF
23	Michalis Pavlidis, Shareeful Islam	SecTro: A CASE Tool for Modelling Security in Requirements Engineering using Secure Tropos.	CAiSE Forum	2011	DBLP BibTeX RDF
23	Andreas Gehlert	Prioritizing Strategic IT Projects with Tropos.	Wirtschaftsinformatik	2011	DBLP BibTeX RDF
23	Naved Ahmed, Raimundas Matulevicius	Towards transformation guidelines from secure tropos to misuse cases (position paper).	SESS@ICSE	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.	iStar	2011	DBLP BibTeX RDF
23	Luca Sabatucci, Chiara Leonardi, Angelo Susi, Massimo Zancanaro	Issues and Challenges in Coupling Tropos with User-Centred Design.	iStar	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.	J. Object Technol.	2010	DBLP DOI BibTeX RDF
23	Fabio Massacci, John Mylopoulos, Nicola Zannone	Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology.	Advances in Intelligent Information Systems	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.	WER	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.	iStar	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.	iStar	2010	DBLP BibTeX RDF
23	Haralambos Mouratidis, Paolo Giorgini	Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
23	Nicola Zannone	Security Agent-Oriented Requirements Engineering - the SI* Modeling Language and the Secure Tropos Methodology.		2009	RDF
23	Asad Ahmed	Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals.	The Unity of Science in the Arabic Tradition	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.	WOA	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.	iStar	2008	DBLP BibTeX RDF
23	Yves Wautelet	A goal-driven project management framework for multi-agent software development : the case of I-tropos.		2008	RDF