Tropos related presentations

AuthorsTitlesort iconPlace publishedYear
Penserini, L.A Distributed Agent Architecture and Case Based Approach for Information System Integration.2001Download
Methodology
Details
Ali, R.; Dalpiaz, F.; Giorgini, P.A Goal Modeling Framework for Self-Contextualizable SoftwareEMMSAD 2009 @CAiSE, Amsterdam2009Download
ContextualGoalModeling
Details
Giorgini, P.; Kolp, M.; Mylopoulos, J.A Goal-Based Organizational Perspective on Multi-Agent Architectures.2001Download
Patterns
Details
Kolp, M.A Goal-Based Organizational Perspective on Multi-Agents Systems.2001Download
Patterns
Details
Castro, J.; Kolp, M.; Mylopoulos, J.A Requirements-Driven Development Methodology.2001Download
Methodology
Details
Kolp, M.A Requirements-Driven Methodology for MAS: An E-commerce Example.2000
Methodology
Details
Asnar, Y.; Giorgini, P.; Zannone, N.A Risk-Driven Approach for Goal DeliberationTropos Lunch Meeting2006Download
GoalAnalysis
Risk
Details
Castro, J.; Kolp, M.; Mylopoulos, J.A Social Organization Perspective on Software Architectures.2001Download
Patterns
Details
Mylopoulos, J.A Software Development Methodology for Agent-Oriented Systems.2000Download
Methodology
Details
Susi, A.Agent-oriented modeling by interleaving formal and informal specification.Agent Oriented Software Engineering (AOSE-2003) Melbourne, Australia, July 15 20032003Download
FormalTropos
Details
Dalpiaz, F.; Giorgini, P.; Mylopoulos, J.An Architecture for Requirements-Driven Self-ReconfigurationCAiSE 2009, Amsterdam2009Download
Self-*atRun-time
Details
Dalpiaz, F.; Giorgini, P.; Mylopoulos, J.An Architecture for Requirements-Driven Self-ReconfigurationTropos Lunch Meeting2009Download
Self-*atRun-time
Details
Dalpiaz, F.; Ali, R.; Asnar, Y.; Bryl, V.; Giorgini, P.Applying Tropos to Socio-Technical System Design and Runtime ConfigurationWOA'08, Palermo2008Download
Risk
DesigningforSelf-*
Self-*atRun-time
Details
Chopra, A.Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed ComputingTropos lunch meeting2009Download
DesigningforSelf-*
Details
Bryl, V.Designing Agent SocietiesTropos Lunch Meeting2006Download
DesigningforSelf-*
Details
Qureshi, N.A.; Perini, A.Engineering adaptive requirementsSEAMS 20092009Download
DesigningforSelf-*
Details
Nguyen, C.D.Evolutionary Testing of Autonomous Software AgentsTropos lunch meeting2009Download
Testing
Details
Gross, D.; Yu, E.Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach.2001Download
RequirementsEngineering
Details
Fuxman, A.Formal Analysis of Early Requirements Specifications in TroposTropos Meeting, University of Toronto, Department of Computer Science, April 5 20012001Download
FormalTropos
Details
Roveri, M.Formal Tropos: Integrating Formal Methods and Software EngineeringMRG-SRA Symposium Levanto, Italy, June 25-27 20022002Download
FormalTropos
Details
Jureta, I.From Decision Theory to Techne, and backTropos lunch meeting2009Download
Methodology
GoalAnalysis
Details
Mylopoulos, J.From Entities and Relationships to Social Actors and Dependencies.2000Download
Methodology
Details
Liu, L.; Yu, E.From Requirements to Architectural Design: Using Goals and Scenarios.2001Download
RequirementsEngineering
Details
Giorgini, P.Goal AnalysisAOSE course @UniTn2009Download
GoalAnalysis
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
Giorgini, P.Introduction to TroposAOSE course @UniTn2009Download
Methodology
RequirementsEngineering
Details
Giunchiglia, F.Invited talk at ATAL 2001.2001Download
Methodology
Details
Ali, R.; Dalpiaz, F.; Giorgini, P.Location-based Software Modeling and Analysis: Tropos-based ApproachER 2008, Barcelona2008Download
Methodology
RequirementsEngineering
DesigningforSelf-*
Details
Ali, R.; Dalpiaz, F.; Giorgini, P.Location-based Variability for Mobile Information SystemsCAiSE 2008, Montpellier2008Download
RequirementsEngineering
DesigningforSelf-*
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 20012001Download
FormalTropos
Details
Pistore, M.Model Checking Early Requirements Specifications in Tropos.2001Download
FormalTropos
Details
Ali, R.Modeling and Reasoning about Contextual RequirementsTropos lunch meeting2009Download
DesigningforSelf-*
ContextualGoalModeling
Details
Souza, V.Monitoring and Diagnosing Malicious Attacks with Autonomic SoftwareTropos lunch meeting2009Download
Self-*atRun-time
Details
Morandini, M.Operational semantics of goal models in adaptive agentsTropos Lunch Meeting2009Download
Self-*atRun-time
Details
Kolp, M.Organization-Driven System Development: Building Agent Software for E-Business.2001Download
Patterns
Details
Kolp, M.Organizational Styles and Agent Patterns.2001Download
Patterns
Details
Mylopoulos, J.Requirements-Driven Sofware Development.1999Download
Methodology
Details
Giorgini, P.Risk AnalysisAOSE course @UniTn2009Download
Risk
Details
Asnar, Y.Risk ModelingTropos Lunch Meeting2006Download
RequirementsEngineering
Risk
Details
Giorgini, P.Secure TroposAOSE course @UniTn2009Download
Security
Details
F. DalpiazSecurity Requirements Engineering for Socio-Technical Systems20th International Requirements Engineering Conference, Chicago, Illinois, United States2012Download
Security
RequirementsEngineering
Details
Mylopoulos, J.Software Architectures as Social Structures.2001Download
Patterns
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 20032003Download
FormalTropos
Details
Chopra, A.;The Semantic Bases for AdaptationTropos lunch meeting2009Download
DesigningforSelf-*
Self-*atRun-time
Details
Siena, A.Towards a Framework for Law-Compliant Software RequirementsTropos lunch meeting2009Download
RequirementsEngineering
LawandNorms
Details
Ali, R.; Yu, Y.; Chitchyan, R.; Nhlabatsi, A.; Giorgini, P.Towards a Unified Framework for Contextual Variability in Requirements3rd International Workshop on Software Product Management @RE 20092009Download
RequirementsEngineering
ContextualGoalModeling
Details
Mylopoulos, J.Tropos at the age of 10 months.2000Download
Methodology
Details
Mylopoulos, J.Tropos at the Age of 6: Status and Research DirectionsTropos Lunch Meeting2006Download
Methodology
RequirementsEngineering
Details
Cares, C.; Franch, X.; Mavol, E.TroposPL: Tropos for Prolog ImplementationsTropos Lunch Meeting2006Download
Methodology
Details
Perini, A.; Susi, A.Understanding the Requirements of a Decision Support System for Integrated Production in Agriculturei* Workshop2004Download
CaseStudiesEvaluation
Details

Back to top