INIS
computer codes
100%
algorithms
34%
verification
33%
environment
30%
psychological behavior
27%
modeling
25%
validation
23%
adaptive systems
23%
quality assurance
15%
tools
14%
design
11%
failures
11%
cost
11%
constraints
11%
dynamics
11%
reduction
7%
applications
7%
interactions
7%
compacts
7%
explosions
7%
range
7%
levels
5%
plugs
5%
engineers
5%
efficiency
5%
architecture
5%
Keyphrases
Environment-Adaptive Software
23%
Behavior Analysis
23%
Boolean Product
23%
Feature Attribute
23%
Multi-feature
23%
Verifier
23%
Adaptive Systems
11%
Quality Assurance
11%
Boolean Features
9%
Non-Boolean
9%
Dynamic Features
5%
Failure Mode
5%
Highly Dynamic
5%
Black Box
5%
Easy to Learn
5%
Validation Algorithm
5%
Verification Algorithm
5%
System Verification
5%
Line Quality
5%
Heterogeneous Types
5%
Extensible Architecture
5%
Modeling Verification
5%
Compact Model
5%
Computer Science
Software Product Line
46%
Transition System
26%
Intensive System
23%
Behavioral Analysis
23%
Reconfiguration
23%
modeling language
11%
Model Checking
9%
Quality Assurance
7%
Quality Assurance Technique
5%
Research Direction
5%
Feature Interaction
5%
model checker
5%