Login / Signup
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