Modélisation (IUT) Modélisation de données Cours Abstraction et modélisation [2diapo/page] [1diapo] Analyse et conception des SI [2diapo/page] [1diapo/page] Analyse et conception des SI – NIAM [2diapo/page] [1diapo/page] Modèle relationnel de CODD [2diapo/page] [1diapo/page] TD/TP TD1 : TD1 bases logique_ensemble TD2 : Intro Modelisation TD3 : EAP1, EAP2, EAP3 TD4 : Niam TD5 : Modèle relationnel, suite Méthode B Cours Introduction à la modélisation en B [2diapo/page] [1diapo] Raffinement [2diapo/page] Modélisation de la dynamique
Construction formelle de logiciels (Master 2, ALMA 2011) Introduction générale aux méthodes formelles Chap1 : Intro. Méthodes formelles Chap2 : Modélisation, Abstraction Rappels de Logique, Théo des ensembles Méthode B Cours Chap 1 : Bases de la modélisation en B Chap 2 : Raffinement Chap 3 : Event B TD/TP/Projets exos Logique exos Ensembles exos Modelisation B – 1 memento_raffinement (ABv4) Lotos NT Cours Chap 1 : Intro aux Alpg de proc. Et Bases de Lotos(NT) TD/TP/Projets Cahier exos 1 Presentation de cadp Projet « Client/Serveur » Docs Manuel de Lotos Cours de F. Lang
Systèmes d'exploitation (Licence)
	Cours de Systèmes (en Licence Miage) Module UL7
	Un cours de PERL	(en 3jours formation intensive)
	D'autres references de langage de scripts
Réseaux informatiques (Lic et Master)
	(polycopié, transparents de cours, divers) Licence d'informatique (L3 - S6I04) Maitrise d'Informatique (UM4) - 2002/2003  Master1 Info & Miage - 2007/2008
Méthodes formelles (Master) spécifications, développement de systèmes
	Modèles orientés état :  Z - Méthode B (Master 2) Bibliothèque NaBLA (B) Intégration de Méthodes Formelles (Master2 R) Modélisation des processus communicants (algèbres de processus, ccs, csp, lotos...) Vérification de programmes par évaluation de modèle  (model checking) Autres ressources d'enseignement
Algorithmique et Complexité (Licence)
	Module I3 (Deug - Calcul de cout, intro langages, intro preuves pgms) avec P. Lamarre et C. Enguehard Introduction à la Complexité et Calculabilité (niveau Licence)
Divers
	Projets pédagogiques en Reseaux (NaONeT)
	Culture Informatique (Logique, Turing, etc, etc)

Dernière modification : 6/01/2012
Prenom.Nom@univ-nantes.fr