Human Factors of Formal Methods

📝 Original Info

• Title: Human Factors of Formal Methods
• ArXiv ID: 1404.7247
• Date: 2014-04-30
• Authors: Researchers from original ArXiv paper

📝 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.

💡 Deep Analysis

Deep Dive into Human Factors of Formal Methods.

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.

📄 Full Content

Reference