INIS
computer codes
100%
verification
53%
algorithms
35%
modeling
30%
quality assurance
23%
environment
23%
applications
23%
adaptive systems
23%
foundations
23%
design
19%
constraints
19%
implementation
16%
mathematical models
14%
complement
11%
coverings
11%
benchmarks
11%
failures
11%
cost
11%
engineering
11%
detection
11%
compacts
11%
dynamics
11%
tools
10%
performance
7%
flaws
7%
psychological behavior
7%
interactions
7%
safety
7%
Keyphrases
Environment-Adaptive Software
23%
Variability-intensive Systems
23%
Logic Model Checking
23%
Verifier
23%
ADL Model
23%
Adaptive Systems
11%
Automata Model
11%
Shared Assets
11%
Dynamic Features
5%
Failure Mode
5%
Highly Dynamic
5%
Computer Science
Software Product Line
47%
Reconfiguration
23%
Automaton
11%
Software Verification
11%
Temporal Logic
11%
Software Quality
11%
Architectural Design
11%