Index of /~degiacom/didattica/software-services/aa2013-14/lectures

Icon  Name                                                                                      Last modified      Size  Description
[DIR] Parent Directory                                                                                               -   
[DIR] week1 - transition systems - bisimulation/                                                22-Feb-2015 19:20    -   
[DIR] week2 - simulation vs bisimulation/                                                       22-Feb-2015 19:21    -   
[DIR] week3 - logics of programs - bisimulation invariance/                                     22-Feb-2015 19:22    -   
[DIR] week4 - service composition/                                                              22-Feb-2015 19:23    -   
[DIR] week5-6 - service composition - nondetermnism and partial controllability/                22-Feb-2015 19:24    -   
[DIR] week7 - video game technology and service composition - by Stavros Vassos/                22-Feb-2015 19:24    -   
[DIR] week8 - synthesis of partially controllable system through model checking game structure/ 22-Feb-2015 19:25    -   
[DIR] week9 - the TLV system (a model checker for game structure) - by Fabio Patrizi/           22-Feb-2015 19:25    -   
[DIR] week10-13 - web services technologies - by Massimo Mecella/                               22-Feb-2015 19:21    -