Tropos related presentations
Authors | Title | Place published | Year | |||
---|---|---|---|---|---|---|
F. Dalpiaz | Security Requirements Engineering for Socio-Technical Systems | 20th International Requirements Engineering Conference, Chicago, Illinois, United States | 2012 | Download | Security RequirementsEngineering | Details |
Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. | An Architecture for Requirements-Driven Self-Reconfiguration | CAiSE 2009, Amsterdam | 2009 | Download | Self-*atRun-time | Details |
Dalpiaz, F.; Giorgini, P.; Mylopoulos, J. | An Architecture for Requirements-Driven Self-Reconfiguration | Tropos Lunch Meeting | 2009 | Download | Self-*atRun-time | Details |
Giorgini, P. | Introduction to Tropos | AOSE course @UniTn | 2009 | Download | Methodology RequirementsEngineering | Details |
Giorgini, P. | Goal Analysis | AOSE course @UniTn | 2009 | Download | GoalAnalysis | Details |
Giorgini, P. | Risk Analysis | AOSE course @UniTn | 2009 | Download | Risk | Details |
Giorgini, P. | Secure Tropos | AOSE course @UniTn | 2009 | Download | Security | Details |
Qureshi, N.A.; Perini, A. | Engineering adaptive requirements | SEAMS 2009 | 2009 | Download | DesigningforSelf-* | Details |
Ali, R.; Dalpiaz, F.; Giorgini, P. | A Goal Modeling Framework for Self-Contextualizable Software | EMMSAD 2009 @CAiSE, Amsterdam | 2009 | Download | ContextualGoalModeling | Details |
Ali, R.; Yu, Y.; Chitchyan, R.; Nhlabatsi, A.; Giorgini, P. | Towards a Unified Framework for Contextual Variability in Requirements | 3rd International Workshop on Software Product Management @RE 2009 | 2009 | Download | RequirementsEngineering ContextualGoalModeling | Details |
Jureta, I. | From Decision Theory to Techne, and back | Tropos lunch meeting | 2009 | Download | Methodology GoalAnalysis | Details |
Ali, R. | Modeling and Reasoning about Contextual Requirements | Tropos lunch meeting | 2009 | Download | DesigningforSelf-* ContextualGoalModeling | Details |
Chopra, A.; | The Semantic Bases for Adaptation | Tropos lunch meeting | 2009 | Download | DesigningforSelf-* Self-*atRun-time | Details |
Siena, A. | Towards a Framework for Law-Compliant Software Requirements | Tropos lunch meeting | 2009 | Download | RequirementsEngineering LawandNorms | Details |
Nguyen, C.D. | Evolutionary Testing of Autonomous Software Agents | Tropos lunch meeting | 2009 | Download | Testing | Details |
Souza, V. | Monitoring and Diagnosing Malicious Attacks with Autonomic Software | Tropos lunch meeting | 2009 | Download | Self-*atRun-time | Details |
Chopra, A. | Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing | Tropos lunch meeting | 2009 | Download | DesigningforSelf-* | Details |
Morandini, M. | Operational semantics of goal models in adaptive agents | Tropos Lunch Meeting | 2009 | Download | Self-*atRun-time | Details |
Ali, R.; Dalpiaz, F.; Giorgini, P. | Location-based Variability for Mobile Information Systems | CAiSE 2008, Montpellier | 2008 | Download | RequirementsEngineering DesigningforSelf-* | Details |
Dalpiaz, F.; Ali, R.; Asnar, Y.; Bryl, V.; Giorgini, P. | Applying Tropos to Socio-Technical System Design and Runtime Configuration | WOA'08, Palermo | 2008 | Download | Risk DesigningforSelf-* Self-*atRun-time | Details |
Ali, R.; Dalpiaz, F.; Giorgini, P. | Location-based Software Modeling and Analysis: Tropos-based Approach | ER 2008, Barcelona | 2008 | Download | Methodology RequirementsEngineering DesigningforSelf-* | Details |
Asnar, Y.; Giorgini, P.; Zannone, N. | A Risk-Driven Approach for Goal Deliberation | Tropos Lunch Meeting | 2006 | Download | GoalAnalysis Risk | Details |
Mylopoulos, J. | Tropos at the Age of 6: Status and Research Directions | Tropos Lunch Meeting | 2006 | Download | Methodology RequirementsEngineering | Details |
Asnar, Y. | Risk Modeling | Tropos Lunch Meeting | 2006 | Download | RequirementsEngineering Risk | Details |
Bryl, V. | Designing Agent Societies | Tropos Lunch Meeting | 2006 | Download | DesigningforSelf-* | Details |
Cares, C.; Franch, X.; Mavol, E. | TroposPL: Tropos for Prolog Implementations | Tropos Lunch Meeting | 2006 | Download | Methodology | Details |
Perini, A.; Susi, A. | Understanding the Requirements of a Decision Support System for Integrated Production in Agriculture | i* Workshop | 2004 | Download | CaseStudiesEvaluation | Details |
Susi, A. | Agent-oriented modeling by interleaving formal and informal specification. | Agent Oriented Software Engineering (AOSE-2003) Melbourne, Australia, July 15 2003 | 2003 | Download | FormalTropos | Details |
Roveri, M. | Specifying and Analyzing Early Requirements: Some Experimental Results. | RE-2003, the 11th IEEE International Symposium on Requirements Engineering Monterey Bay, California U.S.A., 8th-12th September 2003 | 2003 | Download | FormalTropos | Details |
Roveri, M. | Formal Tropos: Integrating Formal Methods and Software Engineering | MRG-SRA Symposium Levanto, Italy, June 25-27 2002 | 2002 | Download | FormalTropos | Details |
Castro, J.; Kolp, M.; Mylopoulos, J. | A Requirements-Driven Development Methodology. | 2001 | Download | Methodology | Details | |
Fuxman, A. | Formal Analysis of Early Requirements Specifications in Tropos | Tropos Meeting, University of Toronto, Department of Computer Science, April 5 2001 | 2001 | Download | FormalTropos | Details |
Giorgini, P.; Kolp, M.; Mylopoulos, J. | A Goal-Based Organizational Perspective on Multi-Agent Architectures. | 2001 | Download | Patterns | Details | |
Kolp, M. | A Goal-Based Organizational Perspective on Multi-Agents Systems. | 2001 | Download | Patterns | Details | |
Castro, J.; Kolp, M.; Mylopoulos, J. | A Social Organization Perspective on Software Architectures. | 2001 | Download | Patterns | Details | |
Penserini, L. | A Distributed Agent Architecture and Case Based Approach for Information System Integration. | 2001 | Download | Methodology | Details | |
Gross, D.; Yu, E. | Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach. | 2001 | Download | RequirementsEngineering | Details | |
Liu, L.; Yu, E. | From Requirements to Architectural Design: Using Goals and Scenarios. | 2001 | Download | RequirementsEngineering | Details | |
Fuxman, A.; Giorgini, P.; Kolp, M.; Mylopoulos, J. | Information Systems as Social Structures. | 2nd International Conference on Formal Ontologies for Information Systems (FOIS 01) | 2001 | Patterns | Details | |
Giunchiglia, F. | Invited talk at ATAL 2001. | 2001 | Download | Methodology | Details | |
Pistore, M. | Model Checking Early Requirements Specifications in Tropos. | RE-2001, the 5th IEEE International Symposium on Requirements Engineering Toronto, Canada, August 27-31 2001 | 2001 | Download | FormalTropos | Details |
Pistore, M. | Model Checking Early Requirements Specifications in Tropos. | 2001 | Download | FormalTropos | Details | |
Kolp, M. | Organization-Driven System Development: Building Agent Software for E-Business. | 2001 | Download | Patterns | Details | |
Kolp, M. | Organizational Styles and Agent Patterns. | 2001 | Download | Patterns | Details | |
Mylopoulos, J. | Software Architectures as Social Structures. | 2001 | Download | Patterns | Details | |
Kolp, M. | A Requirements-Driven Methodology for MAS: An E-commerce Example. | 2000 | Methodology | Details | ||
Mylopoulos, J. | A Software Development Methodology for Agent-Oriented Systems. | 2000 | Download | Methodology | Details | |
Mylopoulos, J. | From Entities and Relationships to Social Actors and Dependencies. | 2000 | Download | Methodology | Details | |
Mylopoulos, J. | Tropos at the age of 10 months. | 2000 | Download | Methodology | Details | |
Mylopoulos, J. | Requirements-Driven Sofware Development. | 1999 | Download | Methodology | Details |