Applying Formal Methods for Human Error Tolerant Design.

Bob Fields Peter C. Wright Michael D. Harrison

Published in: ICSE Workshop on SE-HCI (1994)

Keyphrases

formal methods
error tolerant
knowledge based systems
modeling language
model checking
design process
development lifecycle
formal specification
data collection
object oriented
case study
building blocks
software engineering
pattern recognition
web services
computer vision
databases