Kahina Hacid

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 6

Top Topics

Underlying Assumptions

Domain Knowledge

Modelling Language

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. IMPEX/FM&MDD (2017)
Kahina Hacid, Yamine Aït Ameur
Handling Domain Knowledge in Design and Analysis of Engineering Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017)
Kahina Hacid, Yamine Aït Ameur
Annotation of Engineering Models by References to Domain Ontologies. MEDI (2016)
Kahina Hacid, Yamine Aït Ameur
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. ISoLA (1) (2016)
Kahina Hacid
Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. ISoLA (2) (2016)