Keyphrases
- formal methods
- programming course
- computer science
- introductory computer science
- computer science curriculum
- artificial intelligence
- formal analysis
- safety critical
- software engineering
- formal specification
- knowledge based systems
- provably correct
- model checker
- e learning
- higher education
- model checking
- distance education
- learning objects
- computer programming
- database
- mechanical properties
- information systems
- process algebra
- reactive systems
- college level
- development lifecycle
- database systems
- expert systems