|
|
AGENDA
Thursday 19/October
Tropos Modelling Day - Open Part
9:00-9:15
Welcome and Introduction
F. Massacci (UNITN)
9:15-10:00
The Tropos Methodology an Overview
J. Mylopoulos (Toronto & UNITN) and P. Giorgini (UNITN)
10:00-10:30
Coffee Break
10:30-11:30
Modelling Dependability, Security and Trust in Tropos
N. Zannone (UNITN & CINI)
11:30-12:30
From Tropos Models to Agent-Oriented software: principles and tools
L. Penserini (ITC-IRST)
12:30-14:00
Lunch
Case studies issues and criticalities
14:00-14:25
Air-Traffic Management
Y. Asnar (UNITN)
14:25-14:50
E-Business
A. Yautsiukhin/G. Frankova (UNITN)
14:50-15:15
E-Voting
V. Bryl (UNITN)
15:15-15:30
Coffee Break
Social Dinner
Registration for the social dinner should be made in advance. (Dinner will be on your charge)
|