Tropos related presentations

AuthorsTitlePlace publishedYearsort icon
F. DalpiazSecurity Requirements Engineering for Socio-Technical Systems20th International Requirements Engineering Conference, Chicago, Illinois, United States2012Download
Security
RequirementsEngineering
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
Giorgini, P.Introduction to TroposAOSE course @UniTn2009Download
Methodology
RequirementsEngineering
Details
Giorgini, P.Goal AnalysisAOSE course @UniTn2009Download
GoalAnalysis
Details
Giorgini, P.Risk AnalysisAOSE course @UniTn2009Download
Risk
Details
Giorgini, P.Secure TroposAOSE course @UniTn2009Download
Security
Details
Qureshi, N.A.; Perini, A.Engineering adaptive requirementsSEAMS 20092009Download
DesigningforSelf-*
Details
Ali, R.; Dalpiaz, F.; Giorgini, P.A Goal Modeling Framework for Self-Contextualizable SoftwareEMMSAD 2009 @CAiSE, Amsterdam2009Download
ContextualGoalModeling
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
Jureta, I.From Decision Theory to Techne, and backTropos lunch meeting2009Download
Methodology
GoalAnalysis
Details
Ali, R.Modeling and Reasoning about Contextual RequirementsTropos lunch meeting2009Download
DesigningforSelf-*
ContextualGoalModeling
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
Nguyen, C.D.Evolutionary Testing of Autonomous Software AgentsTropos lunch meeting2009Download
Testing
Details
Souza, V.Monitoring and Diagnosing Malicious Attacks with Autonomic SoftwareTropos lunch meeting2009Download
Self-*atRun-time
Details
Chopra, A.Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed ComputingTropos lunch meeting2009Download
DesigningforSelf-*
Details
Morandini, M.Operational semantics of goal models in adaptive agentsTropos Lunch Meeting2009Download
Self-*atRun-time
Details
Ali, R.; Dalpiaz, F.; Giorgini, P.Location-based Variability for Mobile Information SystemsCAiSE 2008, Montpellier2008Download
RequirementsEngineering
DesigningforSelf-*
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
Ali, R.; Dalpiaz, F.; Giorgini, P.Location-based Software Modeling and Analysis: Tropos-based ApproachER 2008, Barcelona2008Download
Methodology
RequirementsEngineering
DesigningforSelf-*
Details
Asnar, Y.; Giorgini, P.; Zannone, N.A Risk-Driven Approach for Goal DeliberationTropos Lunch Meeting2006Download
GoalAnalysis
Risk
Details
Mylopoulos, J.Tropos at the Age of 6: Status and Research DirectionsTropos Lunch Meeting2006Download
Methodology
RequirementsEngineering
Details
Asnar, Y.Risk ModelingTropos Lunch Meeting2006Download
RequirementsEngineering
Risk
Details
Bryl, V.Designing Agent SocietiesTropos Lunch Meeting2006Download
DesigningforSelf-*
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
Susi, A.Agent-oriented modeling by interleaving formal and informal specification.Agent Oriented Software Engineering (AOSE-2003) Melbourne, Australia, July 15 20032003Download
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 20032003Download
FormalTropos
Details
Roveri, M.Formal Tropos: Integrating Formal Methods and Software EngineeringMRG-SRA Symposium Levanto, Italy, June 25-27 20022002Download
FormalTropos
Details
Castro, J.; Kolp, M.; Mylopoulos, J.A Requirements-Driven Development Methodology.2001Download
Methodology
Details
Fuxman, A.Formal Analysis of Early Requirements Specifications in TroposTropos Meeting, University of Toronto, Department of Computer Science, April 5 20012001Download
FormalTropos
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 Social Organization Perspective on Software Architectures.2001Download
Patterns
Details
Penserini, L.A Distributed Agent Architecture and Case Based Approach for Information System Integration.2001Download
Methodology
Details
Gross, D.; Yu, E.Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach.2001Download
RequirementsEngineering
Details
Liu, L.; Yu, E.From Requirements to Architectural Design: Using Goals and Scenarios.2001Download
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.2001Download
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 20012001Download
FormalTropos
Details
Pistore, M.Model Checking Early Requirements Specifications in Tropos.2001Download
FormalTropos
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.Software Architectures as Social Structures.2001Download
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.2000Download
Methodology
Details
Mylopoulos, J.From Entities and Relationships to Social Actors and Dependencies.2000Download
Methodology
Details
Mylopoulos, J.Tropos at the age of 10 months.2000Download
Methodology
Details
Mylopoulos, J.Requirements-Driven Sofware Development.1999Download
Methodology
Details

Back to top