Human Factors of Formal Methods
Software Engineering
2014-04-30 v1 Human-Computer Interaction
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.
Keywords
Cite
@article{arxiv.1404.7247,
title = {Human Factors of Formal Methods},
author = {Maria Spichkova},
journal= {arXiv preprint arXiv:1404.7247},
year = {2014}
}
Comments
Preprint. Final version published in Proceedings of IADIS International Conference Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012