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