Presentations

• Methodology
• Requirements
• Patterns
• Formal Tropos
• Goal Analysis
• Security
• Other
• Data Warehouse Design

Methodology

Jaelson Castro. Manuel Kolp. John Mylopoulos. A Requirements-Driven Development Methodology.13th International Conference on Advanced Information Systems Engineering CAiSE 01 Interlaken, Switzerland June, 4-8 2001

Manuel Kolp. A Requirements-Driven Methodology for MAS: An E-commerce Example.Tropos Meeting, University of Toronto, Department of Computer Science November 13 2000

John Mylopoulos. Tropos at the age of 10 months.Tropos Meeting, University of Toronto, Department of Computer Science November 13 2000

Fausto Giunchiglia. Invited talk at ATAL 2001.8th International Workshop on Intelligent Agents: Agent Theories, Architectures and Languages Seattle, USA August 1-3 2001

John Mylopoulos. From Entities and Relationships to Social Actors and Dependencies.Keynote Talk, 19th International Conference on Conceptual Modeling, ER 2000 Salt Lake City, USA October 12 2000

John Mylopoulos. A Software Development Methodology for Agent-Oriented Systems.Seminar Series on Perspectives on Agents: Theories and Technologies Trento, Italy, June 15 2000

John Mylopoulos. Requirements-Driven Sofware Development.University of Louvain Louvain-La-Neuve, Belgium October 26 1999

L. Penserini. A Distributed Agent Architecture and Case Based Approach for Information System Integration.Tropos Meeting, University of Toronto, Department of Computer Science March 8 2001

Requirements

Daniel Gross. Eric Yu. Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach.First International Workshop From Software Requirements to Architectures (STRAW 01) at ICSE 2001 Toronto, Canada 14 May 2001

Lin Liu. Eric Yu. From Requirements to Architectural Design: Using Goals and Scenarios.First International Workshop From Software Requirements to Architectures (STRAW 01) at ICSE 2001 Toronto, Canada 14 May 2001

Patterns

Ariel Fuxman. Paolo Giorgini. Manuel Kolp. John Mylopoulos. Information Systems as Social Structures.2nd International Conference on Formal Ontologies for Information Systems, FOIS 01 Ogunquit, USA October 17-19 2001

Paolo Giorgini. Manuel Kolp. John Mylopoulos. A Goal-Based Organizational Perspective on Multi-Agent Architectures.8th International Workshop on Intelligent Agents: Agent Theories, Architectures and Languages, ATAL'01 Seattle, USA August 1-3 2001

Manuel Kolp. A Goal-Based Organizational Perspective on Multi-Agents Systems.Invited Talk, NATO IST TG006 on Modeling of Organizations and Decision Architectures, Defence Research Establishment Valcartier Quebec, Canada 23-25 May 2001

John Mylopoulos. Software Architectures as Social Structures.Invited Talk, First International Workshop From Software Requirements to Architectures (STRAW 01) at ICSE 2001 Toronto, Canada 14 May 2001

Jaelson Castro. Manuel Kolp. John Mylopoulos. A Social Organization Perspective on Software Architectures.First International Workshop From Software Requirements to Architectures (STRAW 01) at ICSE 2001 Toronto, Canada 14 May 2001

Manuel Kolp. Organization-Driven System Development: Building Agent Software for E-Business.Invited Lecture, University of Louvain, IAG School of Management February 6 2001

Manuel Kolp. Organizational Styles and Agent Patterns.Tropos Meeting, University of Toronto, Department of Computer Science January 18 2001

Formal Tropos

Ariel Fuxman. Formal Analysis of Early Requirements Specifications in Tropos.Tropos Meeting, University of Toronto, Department of Computer Science April 5 2001

Marco Pistore. Model Checking Early Requirements Specifications in Tropos.RE-2001, the 5th IEEE International Symposium on Requirements Engineering Toronto, Canada August 27-31 2001

Marco Pistore. Model Checking Early Requirements Specifications in Tropos.The 1st Tropos Workshop Tremtp 15--16 November 2001

Marco Roveri. Formal Tropos: Integrating Formal Methods and Software Engineering. MRG-SRA Symposium Levanto, Italy June 25-27 2002

Angelo Susi. Agent-oriented modeling by interleaving formal and informal specification.Agent Oriented Software Engineering (AOSE-2003) Melbourne, Australia July 15 2003

Marco Roveri. 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

Goal Analysis

Security

Other

Data Warehouse Design