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 - ORCID - Google Scholar
OntoEventB: A Generator of Event-B contexts from Ontologies
9th Rodin User and Developer Workshop

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

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
Systèmes d’exploitation
L’objectif de ce cours est de présenter les architectures logicielles et les principaux concepts mis en œuvre d ...
16 séances 24 h 00
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
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
Cliquez ici pour revenir en haut de la page
Designed by Idir AIT SADOUNE - 2021