OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A User-Centered View on Formal Methods: Interactive Support for Validation and Verification

Barboni, Eric and Hamon, Arnaud and Martinie De Almeida, Celia and Palanque, Philippe A User-Centered View on Formal Methods: Interactive Support for Validation and Verification. (2015) In: Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), 23 June 2015 - 23 June 2015 (Duisburg, Germany).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf


During early phases of the development of an interactive system, future system properties are identified (through interaction with end users e.g. in the brainstorming and prototyping phases of the development process, or by re-quirements provided by other stakeholders) imposing re-quirements on the final system. Some of these properties rely on informal aspects of the system (e.g. satisfaction of users) and can be checked by questionnaires, while other ones require the use of formal methods. Whether these properties are specific to the application under development or generic to a class of applications, the verification of the presence of these properties in the system under construc-tion usually involve verification tools to process the formal description of the system. The usability [26] of these tools has a significant impact on the V&V phases which usually remains perceived as very resource consuming. This posi-tion paper proposes the application of action theory to iden-tify complex aspects of verification and exploits it for iden-tifying areas of improvement.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Licence Creative Commons : CC-BY-NC-ND. The definitive version is available at : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf
HAL Id:hal-01334684
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:30 May 2016 09:15

Repository Staff Only: item control page