References & Citations
Computer Science > Software Engineering
Title: Human Factors of Formal Methods
(Submitted on 29 Apr 2014)
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.
Link back to: arXiv, form interface, contact.