UML in Action: Integrating Formal Methods in Industrial Design Education.

Jun Hu Philip Ross Loe M. G. Feijs Yuechen Qian

Published in: Edutainment (2007)

Keyphrases

formal methods
industrial design
formal analysis
safety critical
knowledge based systems
formal specification
model checker
software engineering
model checking
artificial intelligence
provably correct
modeling language
reactive systems
case study
process algebra
development lifecycle
expert systems
database