Using SCL to Specify and Check Design Intent in Source Code.
Daqing HouH. James HooverPublished in: IEEE Trans. Software Eng. (2006)
Keyphrases
- source code
- open source
- software systems
- object oriented systems
- software evolution
- case study
- static analysis
- software projects
- open source software
- reverse engineer
- legacy software
- building blocks
- software maintenance
- mining software repositories
- software engineering
- symbolic execution
- maintenance activities
- program understanding
- linux kernel
- plagiarism detection
- software design
- open source software projects