Support for teaching formal methods.

Vicki L. Almstrum C. Neville Dean Don Goelman Thomas B. Hilburn Jan Smith

Published in: ACM SIGCSE Bull. (2001)

Keyphrases

formal methods
formal analysis
artificial intelligence
learning systems
e learning
learning environment
knowledge based systems
model checking
formal specification
safety critical
database
information systems
distance learning
black box
problem based learning