Facilitating Software Maintenance by Automated Detection of Constraint Violations.
Anir ChowdhuryScott MeyersPublished in: ICSM (1993)
Keyphrases
- automated detection
- software maintenance
- constraint violations
- automated analysis
- software systems
- temporal constraints
- lung cancer
- hard constraints
- reverse engineering
- software engineering
- multiple criteria
- software evolution
- soft constraints
- software development and maintenance
- maintenance activities
- software development
- source code
- program comprehension
- software projects
- databases
- software development life cycle
- temporal reasoning
- machine learning