Master de sciences et technologies mention : informatique

Acronyme : sp	Spécialité : toutes	18 ECTS	Niveau : 500	Semestre : S4
Titre : Stage professionnel
Responsable : nombreux coordonnateurs et responsables de stage.		Répartition hebdomadaire ou semestrielle
Contenu Le stage professionnel complète la formation pour les parcours professionnels. De début avril à fin septembre, le stage permet l'immersion du stagiaire dans l'entreprise. Les stagiaires sont confrontés à des applications et des contraintes industrielles. Le stage peut être fourni par l'équipe enseignante (sujets proposés par les entreprises partenaires du master), ou bien trouvé par l'étudiant (première expérience de recherche d'emploi), en France ou à l'étranger. Le stage doit être validé par l'équipe enseignante. L'Université délivre des conventions de stage.
Expérience du responsable dans le domaine de l’UE L’encadrement des stages professionnels fait en général appel à l’ensemble des membres de l’équipe pédagogique de la mention, mais plus particulièrement aux enseignants des UE des parcours professionnels.
Réalisations du responsable dans le domaine de l’UE

Acronyme : spec	Spécialité : RES	3 ECTS	Niveau : 500	Semestre : S3
Titre : Spécification et validation
Responsable : Cédric BESSE		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD/TME: 2h00)
Contenu Dans ce module sont présentés les différents aspects relatifs à la conception et à la validation des protocoles de communication. Il s'articule essentiellement autour des techniques de description formelle (SDL, Promela/SPIN, ...) et des méthodes de validation communément utilisées dans les milieux industriel et universitaire pour la conception et la validation des protocoles de communication.
Expérience du responsable dans le domaine de l’UE Cédric Besse est Maître de conférences en informatique à l’UPMC depuis 2003. Il a effectué sa thèse au sein du département Logiciels Réseaux de l'Institut National des Télécommunications puis a effectué un post-doctorat au Laboratoire Bordelais de Recherche en Informatique (LaBRI) de l’Université Bordeaux I. Ses travaux s’inscrivent dans la problématique suivante : fournir des techniques formelles de validation pour les systèmes communicants, tant au niveau de la spécification qu'au niveau de l'implantation. Ainsi il s’intéresse en particulier aux techniques de génération automatique de tests pour les parties de contrôle et de données des protocoles de communication.
Réalisations du responsable dans le domaine de l’UE membre du au projet RNRT PLATONIS pour la réalisation d'une plate-forme de validation multi-services et multi-protocoles (2002) Cédric Besse, Ana Cavalli, Myungchul Kim, Fatiha Zaïdi. Automated Generation of Interoperability tests. In Proceedings of the IFIP 14th International Conference on Testing of Communicating Systems (TestCom 2002), March 19-22 2002, Berlin, Germany Cédric Besse, Ana Cavalli, Ferhat Khendek. Partial validation of a design specification with respect to requirements. In Proceedings of the IEEE 2nd Asia-Pacific Conference on Quality Software (APAQS’01) Pages 131-140, IEEE CS Press, December 10-11 2001, Hong Kong, China Cédric Besse, Ana Cavalli, David Lee. An automatic and optimized test generation technique. Applying to TCP/IP protocol. In Proceedings of the IEEE 14th International Conference on Software Engineering (ASE’99) Pages 73-80, IEEE CS Press, October 12-15 1999, Cocoa Beach, Florida, USA