ACCUEIL
ENSEIGNEMENT
RECHERCHE
DEVELOPPEMENT
ME CONTACTER
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
Me contacter
Designed by
Idir AIT SADOUNE
- 2021