Idir AIT SADOUNE
Enseignant-chercheur au sein du département informatique de CentraleSupelec,
une grande école d'ingénieurs composante de l'Université Paris-Saclay.
Chercheur au sein du Laboratoire Méthodes Formelles (LMF).
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
3A - CentraleSupelec
Développer avec la Méthode B
Ce cours présente les concepts de base de la méthode B en allant des structures les plus élémentaires comme la ...
14 séances 21 h 00
3A - CentraleSupelec
Développer avec Jakarta EE
La conception des applications informatiques est en constante évolution avec l'apparition régulière de nouvelles ...
3 séances 4 h 30
2A DUT - IUT d'Orsay
Conception et Programmation Objet
En mettant l'accent sur la modélisation orientée objet, le langage Java, le langage UML, en relation avec les pha ...
22 séances 45 h 00
Cliquez ici pour revenir en haut de la page
Designed by Idir AIT SADOUNE - 2021