Human Factors of Formal Methods

2014/04/29 by Spichkova, Maria · 1 citation
#FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Software Engineering (cs.SE)

paper · doi:10.48550/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.

Cited by

• FocusE: A semantic extension of FocusST

Related

• The Bourgeois Gentleman, Engineering and Formal Methods
• Formal Methods: From Academia to Industrial Practice. A Travel Guide
• Applying a Formal Method in Industry: a 25-Year Trajectory
• Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
• A manifesto for applicable formal methods