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