TitleThe Role of HCI in CASE Tools Supporting Formal Methods
Publication TypeConference Paper
Year of Publication1994
AuthorsHeitmeyer, C. L.
Conference NameWorkshop on Software Engineering an human-Computer Interaction
Conference LocationSorrento, Italy
Abstract

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.

Full Text

Heitmeyer1994.pdf

NRL Publication Release Number

04-1221-0899