Section: Dissemination
Teaching - Supervision - Juries
Invited Talks
Jordi Cabot gave an invited lecture in the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems (http://www.sti.uniurb.it/events/sfm12mde/ )
Teaching
Teaching duties of AtlanMod members done in 2012 involved the following courses:
License: J. Cabot is in charge of a 24-hour course on MDE in the CS degree at the Ecole des Mines de Nantes .
Seminar: J. Canovas. Software modernization in Eclipse, 3h, Universidad de Cádiz, Spain.
Master: J. Canovas. Model-Driven Software Development, 2h, L1, Universidad Autónoma de Madrid, Spain
License: M. Tisi, Programmation Modulaire, 12h, L2, Ecole des Mines de Nantes
License: M. Tisi, Structures de Données, 15h, L3, Ecole des Mines de Nantes
License: M. Tisi, Interaction Homme-Machine, 15h, M1, Ecole des Mines de Nantes
License: M. Tisi, Projet IPIPIP, 8h, L2, Ecole des Mines de Nantes
License: M. Tisi, Projet Integrateur PRIME, 12h, L3, Ecole des Mines de Nantes
License: M. Tisi, Programmation, 40h, L3, Ecole des Mines de Nantes
License: M. Tisi, Bases de Données, 33h, L3, Ecole des Mines de Nantes
License: M. Tisi, Interaction Homme-Machine, 14h, L3, Ecole des Mines de Nantes
Supervision
HdR : Jordi Cabot, MDE 2.0 - Pragmatic Formal model verification and other challenges, ED-STIM Ecole des Mines de Nantes, 12/09/2012
PhD in progress : Carlos A. González, Pragmatic Model Verification, October 1st, 2011, Jordi Cabot
PhD in progress : Salvador Martínez Pérez, Automatic reconstruction and analysis of semantic network security policies from deployed security components, November 1st, 2011, Jordi cabot and Frédéric Cuppens
PhD in progress : Valerio Cosentino, Extraction and refactoring of Business Logic from Legacy Applications, December 1st, 2010, Jordi Cabot, Patrick Albert