Semi-automated architectural abstraction specifications for supporting software evolution.
Thomas HaitzerUwe ZdunPublished in: Sci. Comput. Program. (2014)
Keyphrases
- semi automated
- software evolution
- software architecture
- high level
- fully automated
- mining software repositories
- source code
- functional requirements
- software systems
- software maintenance
- open source projects
- reverse engineering
- process automation
- software repositories
- bounded model checking
- software development
- software development processes
- linux kernel
- fully automatic
- component based software development
- software engineering
- database
- case study
- software artifacts
- application server
- formal specification
- delay insensitive
- distributed systems
- cooperative
- agile development
- code reuse