Using Formal Specifications in the Design of a Human-Computer Interface (1981)
Cached
Download Links
by
Robert J. K. Jacob
| Citations: | 29 - 5 self |
BibTeX
@MISC{Jacob81usingformal,
author = {Robert J. K. Jacob},
title = {Using Formal Specifications in the Design of a Human-Computer Interface },
year = {1981}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Formal and semiformal specification techniques have been applied to many aspects of software development. Their value is that they permit a designer to describe precisely the external
