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 |
|
|