Quality, cleanroom and formal methods.

Zarrin Langari Anne Banks Pidduck

Published in: WoSQ@ICSE (2005)

Keyphrases

formal methods
formal analysis
formal specification
safety critical
model checker
artificial intelligence
high quality
knowledge based systems
model checking
temporal properties
software engineering
data quality
relational databases
knowledge management
process algebra
development lifecycle