Design of Simulator in Virtual Reality Using Formal Interaction Specification / Abdelkrim,ALI  

Public ISBD Titre : Design of Simulator in Virtual Reality Using Formal Interaction Specification Type de document : texte imprimé Auteurs : Abdelkrim,ALI, Auteur ; Djaghloul, Haroun, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (59 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Virtual reality Augmented reality Formal methods Formal Specification Index. décimale : 004 - Informatique Résumé : Nowadays, designers of Virtual Reality (VR) applications are faced with the choice of a large number of different input and output devices leading to a growing number of interaction techniques. Usually VR interaction techniques are described informally, based on the actions users can perform within the VR environment. At implementation time, such informal descriptions (made at design time) yield to ambiguous interpretations by the developers. In addition, informal descriptions make it difficult to foresee the impact throughout the application of a modification of the interaction techniques. This thesis explore the state of the art of formal verification techniques and the potential VR technologies and discussed the advantages of using formal verification technique (B-method) to model virtual reality applications. This technique is presented via a case study ( immersive chess game). The case study is then used to show how formal methods can help to ensure the usability and efficiency of virtual reality systems. Côte titre : MAI/0388 En ligne : https://drive.google.com/file/d/1k04NvxS_ONRGW8sOX0jXDVbvZcE5XFWi/view?usp=shari [...] Format de la ressource électronique : pdf Design of Simulator in Virtual Reality Using Formal Interaction Specification [texte imprimé] / Abdelkrim,ALI, Auteur ; Djaghloul, Haroun, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (59 f .) ; 29 cm. Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Virtual reality Augmented reality Formal methods Formal Specification Index. décimale : 004 - Informatique Résumé : Nowadays, designers of Virtual Reality (VR) applications are faced with the choice of a large number of different input and output devices leading to a growing number of interaction techniques. Usually VR interaction techniques are described informally, based on the actions users can perform within the VR environment. At implementation time, such informal descriptions (made at design time) yield to ambiguous interpretations by the developers. In addition, informal descriptions make it difficult to foresee the impact throughout the application of a modification of the interaction techniques. This thesis explore the state of the art of formal verification techniques and the potential VR technologies and discussed the advantages of using formal verification technique (B-method) to model virtual reality applications. This technique is presented via a case study ( immersive chess game). The case study is then used to show how formal methods can help to ensure the usability and efficiency of virtual reality systems. Côte titre : MAI/0388 En ligne : https://drive.google.com/file/d/1k04NvxS_ONRGW8sOX0jXDVbvZcE5XFWi/view?usp=shari [...] Format de la ressource électronique : pdf

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAI/0388	MAI/0388	Mémoire	Bibliothéque des sciences	Anglais	Disponible Disponible

---

1 (1 - 1 / 1)