| 9 |
Model Checking Early Requirements Specifications
in Tropos (ps)
Marco Pistore - IRST-ITC |
| 10 |
Modeling Organisation Networks with Tropos: A Trust-Centered
Approach (ppt)
Matthias Jarke, Gerhard Lakemeye - RWTH Aachen |
| 11 |
Coffee break |
| 11.30 |
Social Structures in Tropos (ppt)
Manuel Kolp - University of Louvain
Paolo Giorgini - University of Trento |
| 12.30 |
Lunch |
| 2 |
A Knowledge Level Software Engineering Methodology for Agent
Oriented Programming. The Tropos framework. (ppt)
Anna Perini - IRST-ITC |
| 3 |
The Tropos Advantage (ppt)
Eric Yu University of Toronto
Using i* for modelling early requirements of a computer system
for hospital emergency departments (ppt)
Michaël Petit
University of Namur
Modeling Information Technology needs for the Agriculture domain
(ppt)
Angelo Susi - IRST-ITC
(abstract)
|
| 4 |
Coffee break |
| 4.30 |
Algorithms for Goal Analysis (ps)
Roberto Sebastiani - University of Trento
Trasformational approach for the design process
Paolo Bresciani - IRST-ITC |
|
|