EN FR
EN FR


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, UML, 20h, 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

Juries

  • Jordi Cabot was a member of the jury of the thesis of Thang Quyet Pham (Telecom Bretagne).