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)

Exercices : Logics and Set Theory

Article à lire pour le 21 novembre 2012
FileSystem2009

Event B



Modélisation (IUT)

Modélisation de données

Cours

TD/TP

Méthode B

Cours


Modélisation de la dynamique



Construction formelle de logiciels (Master 2, ALMA 2011)

Introduction générale aux méthodes formelles

  • Rappels de Logique, Théo des ensembles

Méthode B

Cours

TD/TP/Projets

Lotos NT

Cours

TD/TP/Projets

Docs




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