AÏT-AMEUR, Yamine; AIT-SADOUNE, Idir; CASTÉRAN, Pierre; GIBSON, John Paul; HACID, Kahina; KHERROUBI, Souad; MÉRY, Dominique; MOHAND OUSSAID, Linda; SINGH, Neeraj Kumar; VOISIN, Laurent

doi:10.1007/978-3-319-91271-4_35

Métadonnées

Licence d’utilisation du document

AÏT-AMEUR, Yamine
Assistance à la Certification d’Applications DIstribuées et Embarquées [IRIT-ACADIE]
Institut National Polytechnique (Toulouse) [Toulouse INP]

AIT-SADOUNE, Idir
Laboratoire de Recherche en Informatique [LRI]

CASTÉRAN, Pierre
Laboratoire Bordelais de Recherche en Informatique [LaBRI]

Langue

Communication dans un congrès

Ce document a été publié dans

6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), 2018-06-05, Southampton. 2018, vol. 10817, p. 425--430

Springer

Résumé en anglais

Although several authors like P. Zave and M. Jackson, D. Bjorner, A. Van Lamsweerde have drawn the attention of system designers on the ne- cessity to handle domain knowledge, while designing systems, it is still a major concern nowadays. The IMPEX project, funded by the French ANR national research agency, addresses the problem of making explicit domain knowledge in formal system developments using refinement and proof based formal methods. It advocates the use and formalisation of ontologies as models for domain knowl- edge. The Event-B modelling technique has shown its usefulness to support the various developments. In this paper, we briefly describe the approach and the case studies developed in the context of this project.< Réduire