Modélisation et analyse de systèmes hétérogènes (DIS-MATSTIC 05)
|
Formation Doctorale
|
Depuis 2023
|
Langages et Automates (B.U.T. R4-12)
|
B.U.T. 2
|
Depuis 2022-23
|
Construction d'algorithmes corrects et efficaces (B.U.T. R3-02)
|
B.U.T. 2
|
Depuis 2022-23
|
Preuves et Constructions Formelles (X1I1080)
Deuxième partie (Modèles et preuves en B)
|
Master1
|
2019-2020
|
Formal Software Engineering
(Modélisation, Vérification, Méthode B,...)
|
Master 2
|
From 2014-2015
|
Modélisation de données (M1104-1)
(Logique, théorie des ensembles, modélisation E-A-P, modèle de Codd)
|
DUT
|
Depuis 2015-2016
|
Méthodologie de la production de logiciels (M3301-2)
(Cycles de vie des logiciels, ingénierie système, modélisation-programmation, méthode B) |
DUT
|
Depuis 2014-2015
|
Programmation des applications réparties (M4102C)
(Modélisation, programmation)
|
DUT
|
Depuis 2014-2015
|
Modélisation de la dynamique
(Modèles à états, réseaux de Petri, algèbres de processus)
|
DUT
|
|
Réseaux informatiques
(Concepts fondamentaux et programmation réseaux)
|
Licence Master1
|
|
Systèmes d'exploitation
(Concepts fondamentaux et programmation systèmes)
|
Licence
|
|
Algorithmique et Complexité
|
Licence
|
|
Divers autres cours
(...)
|
|
|
