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

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


NRL Publication Release Number