This paper presents a formal model to check the interaction plasticity on a user interface (UI). An interaction is seen as an implementation (achievement) ...

Abstract—This paper presents a formal model to check the interaction plasticity on a user interface (UI). An interaction.

This paper presents a formal model to check the interaction plasticity on a user interface (UI). An interaction is seen as an implementation (achievement) ...

Request PDF | On Sep 1, 2015, Abdelkrim Chebieb and others published Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies | Find, ...

Feb 11, 2021 · This case-study investigates the formal verification of the plasticity property of an UI, proposing a technique to formally check if two task ...

Apr 25, 2024 · A formal model for plastic human computer interfaces. ... Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies.

Formal verification of plastic user interfaces exploiting domain ontologies. A Chebieb, Y Ait-Ameur. 2015 International Symposium on Theoretical Aspects of ...

This paper proposes to address the problem of user interface evolution due to the introduction of new interaction devices and/or new interaction modes. More, ...

Article. Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies · Author Picture Abdelkrim Chebieb,; Author Picture Yamine Ait Ameur.

This paper proposes to address the problem of user interface evolution due to the introduction of new interaction devices and/or new interaction modes by ...