|
Title:
|
HUMAN FACTORS OF FORMAL METHODS |
|
Author(s):
|
Maria Spichkova |
|
ISBN:
|
978-972-8939-75-5 |
|
Editors:
|
Katherine Blashki |
|
Year:
|
2012 |
|
Edition:
|
Single |
|
Keywords:
|
Human factors, engineering psychology, formal methods. |
|
Type:
|
Reflection Paper |
|
First Page:
|
307 |
|
Last Page:
|
310 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
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. |
|
|
|
|
|
|
