Human Factors of Formal Methods
arXiv:1404.7247
Abstract
This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process.
Preprint. Final version published in Proceedings of IADIS International Conference Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012
References in corpus (1)
Cited by in corpus (6)
- Human Factors in Software Reliability Engineering
- Cyber-Virtual Systems: Simulation, Validation & Visualization
- Towards Focus on Time
- Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation
- Formal specification of the FlexRay protocol using FocusST
- (Auto)Focus approaches and their applications: A systematic review