Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces.

Simon Connelly Jay Burmeister Anthony MacDonald Andrew Hussey

Published in: SCS (2001)

Keyphrases

safety critical
pattern languages
user interface
formal methods
fault tolerant
embedded systems
safety analysis
agent architecture
support systems
design patterns
regulatory requirements
inductive inference
real time
adaptive systems
model checking
low cost
multi agent systems
data mining