More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.
James NobleDavid StreaderIsaac Oscar GarianoMiniruwani SamarakoonPublished in: CoRR (2022)
Keyphrases
- formal methods
- software engineering
- programming language
- computer programming
- reactive systems
- artificial intelligence
- formal analysis
- pair programming
- object oriented
- programming course
- model checking
- computer science curriculum
- object oriented programming
- higher education
- safety critical
- security properties
- model checker
- databases
- knowledge based systems
- software development
- e learning
- programming environment
- distance learning
- business processes
- learning environment
- database