The Role of Modelling in Teaching Formal Methods for Software Engineering.
Anthony J. CowlingPublished in: FMSEE&T@FM (2015)
Keyphrases
- formal methods
- software engineering
- formal analysis
- knowledge based systems
- model checking
- artificial intelligence
- safety critical
- tertiary education
- process algebra
- formal specification
- model checker
- modeling language
- provably correct
- reverse engineering
- distance learning
- object oriented
- learning environment
- databases
- engineering courses
- formal specification language
- reactive systems
- online learning
- programming language
- e learning
- machine learning