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

Abstract : 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.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01334684
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, June 21, 2016 - 11:03:20 AM
Last modification on : Thursday, June 27, 2019 - 4:27:50 PM
Long-term archiving on : Thursday, September 22, 2016 - 12:43:39 PM

File

barboni_15405.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01334684, version 1
  • OATAO : 15405

Collections

Citation

Eric Barboni, Arnaud Hamon, Celia Martinie de Almeida, Philippe Palanque. A User-Centered View on Formal Methods: Interactive Support for Validation and Verification. Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 24-29. ⟨hal-01334684⟩

Share

Metrics

Record views

379

Files downloads

123