Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach.
Andrew SimpsonPublished in: FMTea (2019)
Keyphrases
- formal methods
- software engineers
- software engineering
- computer science curriculum
- programming course
- computer science
- computer programming
- artificial intelligence
- reverse engineering
- software systems
- teaching mathematics
- software development
- mathematics education
- software maintenance
- formal analysis
- introductory computer science
- program comprehension
- formal specification
- source code
- design patterns
- computer assisted instruction
- knowledge based systems
- object oriented
- software design
- development process
- safety critical
- college level
- machine learning
- software components
- database applications
- cooperative learning
- case study
- software projects
- software architecture
- model checking
- development lifecycle
- teaching materials
- expert systems
- software developers
- learning environment
- open source
- metadata
- knowledge acquisition