More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.
James NobleDavid StreaderIsaac Oscar GarianoMiniruwani SamarakoonPublished in: NFM (2022)
Keyphrases
- formal methods
- software engineering
- programming language
- computer programming
- reactive systems
- programming course
- software development
- provably correct
- computer science curriculum
- safety critical
- programming environment
- formal analysis
- pair programming
- model checking
- formal specification
- distance learning
- model checker
- artificial intelligence
- object oriented programming
- data mining
- higher education
- knowledge management
- learning process
- learning environment
- e learning
- machine learning