01 | [Software Evolution at UniTN.it - Mylopoulos (Unitn)] |
02 | [PoliMi Introduction - Ghezzi (PoliMi)] |
03 | [Configuration and Contextual Variability - Lapouchnian (UniToronto)] |
04 | [Context: from conceptual modeling, through acquisition, to data tailoring - Tanca, Schreiber (PoliMi)] |
05 | [Awareness Requirements - Souza (Unitn)] |
06 | [Run-time support for context awareness - Cugola, Caporuscio, Salvaneschi (PoliMi)] |
07 | [Lifelong management of quantitative requirements: from models to run-time adaptation - Tamburrelli (PoliMi)] |
08 | [Diagnosis - Wang, McIlraith (UniToronto), Yu (OpenUni-UK), Mylopoulos (Unitn)] |
09 | [Formal verification for adaptive systems - Bersani, Frigeri (PoliMi)] |
10 | [Playing with WSN with Malicious Nodes - Gatti (PoliMi), Monga (UniMilano), Sicari (UniInsubria)] |
11 | [Engineering open systems: A brave new world - Chopra, Dalpiaz (Unitn)] |
12 | [From Speci?cation Recovery to Behavioral Search - Ghezzi, Mocci (PoliMi), Monga (UniMilano), Salvaneschi (PoliMI)] |
13 | [A Tile-based Approach for Self-assembling Service Compositions - Cavallaro, Di Nitto, Furia, Pradella (PoliMi)] |