|Title||The Role of HCI in CASE Tools Supporting Formal Methods|
|Publication Type||Conference Paper|
|Year of Publication||1994|
|Authors||Heitmeyer, C. L.|
|Conference Name||Workshop on Software Engineering an human-Computer Interaction|
|Conference Location||Sorrento, Italy|
This paper describes a number of issues in human-computer interaction that arose in two projects which are developing CASE tools to support formal methods. It also proposes a research agenda.
|NRL Publication Release Number|| |