Idir AIT SADOUNE
Je suis maitre de conférence au département informatique de CentraleSupelec, une grande école d'ingénieurs composante de l'Université Paris-Saclay. Je suis également membre de l’équipe de recherche VALS - Vérification d'Algorithmes, Langages et Systèmes du LRI - Laboratoire de Recherche en Informatique.
Prochains cours Dernières publications
Mes activités
Enseignement
Recherche
Développement
Cliquez ici pour revenir en haut de la page
Dernières publications
Toutes les publications sur HAL Archives ouvertes - DBLP - Google Scholar
Building Formal Semantic Domain Model: An Event-B Based Approach
9th International Conference on Model and Data Engineering

The role of user requirements in data repository design
International Journal on Software Tools for Technology Transfer

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
Electronic Proceedings in Theoretical Computer Science

Using the Isabelle Ontology Framework. Linking the Formal with the Informal
11th International Conference on Intelligent Computer Mathematics
Cliquez ici pour revenir en haut de la page
Prochains cours
Accèder à l'ensemble des cours en cliquant ici
Méthode B
3A - CentraleSupelec
2020/2021 21 heures
Jakarta EE
3A - CentraleSupelec
2020/2021 4 heures et 1/2
Systèmes d’exploitation
3A - CentraleSupelec
2020/2021 24 heures
Conception et Prog. Objet
2A DUT - IUT d'Orsay
2020/2021 44 heures et 1/2
Cliquez ici pour revenir en haut de la page
Designed by Idir AIT SADOUNE