Login / Signup

Formal specifications for modeling and developing human/computer interfaces.

John W. RoachM. 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