Modelling program verification tools for software engineers.
Sophie LathouwersVadim ZaytsevPublished in: MoDELS (2022)
Keyphrases
- software engineers
- software engineering
- software systems
- software maintenance
- database applications
- source code
- software development
- software components
- software developers
- software development environment
- reverse engineering
- design patterns
- software industry
- program comprehension
- uml diagrams
- daily activities
- software artifacts
- object oriented
- data analysis
- high level
- artificial intelligence
- data mining
- modelling language
- database