Computer Science
Software Development
100%
Production System
100%
Program Verification
100%
Case Study
100%
Software Evolution
100%
Adaptation Process
50%
Functional Specification
50%
Test Generation
50%
Refactoring
50%
model-driven development
50%
Software Lifecycle
50%
Verification System
50%
Software Product Line
50%
Application Domain
50%
Building Software
50%
Software Change
50%
Software Systems
50%
Object Oriented Programming
50%
Information Systems
50%
Keyphrases
User-centered
100%
Software Process
100%
Regression Verification
100%
Automated Production Systems
100%
Verification Method
44%
Software Evolution
33%
Java
33%
Regression Testing
22%
Program-wide
11%
Adaptation Process
11%
Runtime Management
11%
Runtime Control
11%
Testing Method
11%
Functional Specification
11%
Verification Tool
11%
Program Verification
11%
Promising Solutions
11%
Java Program
11%
Object-oriented Languages
11%
Evolving Software
11%
Software Product Lines
11%
Verification System
11%
Overall Size
11%
Deductive Program Verification
11%
Test Case Generation
11%
Systems-based
11%
Application Domain
11%
Model-driven Development
11%
Refactoring
11%
Formal Methods
11%
Software Adaptation
11%
Software Change
11%
Real Objects
11%
Changing Requirements
11%
Real Word
11%
CoCoME
11%
Under Design
11%
Test Selection
11%
Traditional Regression
11%
Software Development Life Cycle
11%
Living Systems
11%