The Role of HCI in CASE Tools Supporting Formal Methods
NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
Pagination or Media Count:
From 1988 through 1992, I led two research groups the advanced interfaces section of NRLs Human-Computer Interaction HCI laboratory, which is developing advanced user interface techniques, and a software engineering group, which is designing formal methods for real-time systems. In 1989, a multidisciplinary team of HCI experts and software engineers, drawn from the two groups, began a new research task whose purpose was two-fold to evaluate existing formal methods for representing and reasoning about a systems timing behavior and to build a prototype CASE toolset supporting the most promising methods. From the beginning, we recognized that the success of the CASE tools depended not only on powerful analysis methods but also on the quality of the toolsets user interface and its software design 4. A high-quality user interface would allow developers to create, edit, and analyze specifications easily and effectively. A high-quality software design would enforce a clean separation between the user interface software and the software encoding the formal methods. A clean separation would facilitate software changes.
- Computer Programming and Software
- Human Factors Engineering and Man Machine Systems