Kahina Hacid

According to our database, Kahina Hacid authored at least 7 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Handling domain knowledge in system design models. An ontology based approach. (Explicitation de la sémantique du domaine dans les modèles de systèmes : une approche à base d'ontologies).

Kahina Hacid

PhD thesis, 2018

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.

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

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Handling Domain Knowledge in Design and Analysis of Engineering Models.

Kahina Hacid, Yamine Aït Ameur

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

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform.

Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

2016

Annotation of Engineering Models by References to Domain Ontologies.

Kahina Hacid, Yamine Aït Ameur

Proceedings of the Model and Data Engineering - 6th International Conference, 2016

Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach.

Kahina Hacid, Yamine Aït Ameur

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach.

Kahina Hacid

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016