Linda Mohand-Oussaïd

发表

Building Formal Semantic Domain Model: An Event-B Based Approach

Idir Aït-Sadoune, Linda Mohand-Oussaïd, 2019, MEDI.

Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation

Yamine Ait Ameur, Mohamed Ahmed-Nacer, Linda Mohand-Oussaïd, 2015 .

Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation

Yamine Aït Ameur, Mohamed Ahmed-Nacer, Idir Aït-Sadoune, 2015, Tech. Sci. Informatiques.

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation

Yamine Aït Ameur, Mohamed Ahmed-Nacer, Idir Aït-Sadoune, 2014, AAAI Spring Symposia.

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

Yamine Aït Ameur, Kahina Hacid, Idir Aït-Sadoune, 2017, IMPEX/FM&MDD.

A formal model for output multimodal HCI

Yamine Aït Ameur, Mohamed Ahmed-Nacer, Idir Aït-Sadoune, 2015, Computing.

Ontological Interaction Modeling and Semantic Rule-based Reasoning for User Interface Adaptation

Hakima Mellah, Linda Mohand-Oussaïd, Fatma Zohra Lebib, 2016, WEBIST.

Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B

Yamine Aït Ameur, Idir Aït-Sadoune, Linda Mohand-Oussaïd, 2011, MEDI.

Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie. (Formal modelling and verification of multimodal human computer interfaces : output multimodality)

Linda Mohand-Oussaïd, Linda Mohand-Oussaïd, 2014 .

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

Dominique Méry, Yamine Aït Ameur, Kahina Hacid, 2018, ABZ.

Formal Modelling of Domain Constraints in Event-B

Idir Aït-Sadoune, Linda Mohand-Oussaïd, 2017, MEDI.