Modules enseignés à l'UFR Sciences et à l'IUT Polycopiés, Documents et diverses références J-C.Attiogbé

Formal Software Engineering (Master 2, ALMA 2012/2013) – UFR Sciences Lesson1 : Introduction to Formal Software Engineering (C. Attiogbé) B Method – (Classical B) Introduction B Method Part1 slides2x1 slides1x1 Exercices : Logics and Set Theory exosLogicsSetTheory Exercices with B and AtelierB / Rodin : CahierB1, CahierB2, Article à lire pour le 21 novembre 2012 FileSystem2009 Event B Event B slides2x1 slides1x1 Exercices with Event B and AtelierB / Rodin Projects (B and Event-B) to be done by groups of 3 students Memento of Software Construction (with AtelierB V4 – from spec to code) 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 Introduction – Automates Réseaux de Petri Algèbres de processus Statecharts de Harel TD1 : Expr. Régulieres, automates à états TD2 : automates à etats TD3 : Automates de Mealy 1, Mealy 2 TD Reseaux de Petri
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 : 7/11/2012
Prenom.Nom@univ-nantes.fr