Teaching of Formal Methods for Software Engineering.
Maria SpichkovaAnna ZamanskyPublished in: ENASE (2016)
Keyphrases
- formal methods
- software engineering
- formal analysis
- safety critical
- model checker
- model checking
- learning process
- provably correct
- distance learning
- formal specification
- process algebra
- knowledge based systems
- higher education
- modeling language
- learning environment
- artificial intelligence
- software development
- high school
- temporal properties
- engineering courses
- e learning
- learning systems
- online learning
- educational technology
- development process
- computer programming
- software systems
- open source
- reverse engineering
- security properties
- reactive systems
- knowledge management
- multi agent