Login / Signup
Formal specifications for modeling and developing human/computer interfaces.
John W. Roach
M. Nickson
Published in:
CHI (1983)
Keyphrases
</>
human computer interface
formal specification
human computer interaction
specification languages
object oriented design
databases
open source
data model
programming language
model checking
formal methods