Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).
Livia LestingiPublished in: FMTea (2021)
Keyphrases
- formal methods
- software engineers
- software engineering
- collaborative learning
- learning process
- software systems
- software development
- software maintenance
- formal analysis
- safety critical
- reverse engineering
- artificial intelligence
- database applications
- e learning
- formal specification
- program comprehension
- knowledge based systems
- development process
- learning environment
- learning systems
- model checking
- object oriented
- knowledge building
- software projects
- online learning
- development lifecycle
- computer supported collaborative learning
- distance learning
- databases
- source code
- cooperative learning
- teaching materials
- computer programming
- cooperative
- software design
- design patterns
- software developers
- student learning
- information technology
- expert systems
- knowledge management
- programming course
- software components
- case study