Computer Science
Abstract Interpretation
33%
Active Learning
28%
Analysis Technique
35%
And-States
33%
Annotation
28%
Anonymization
21%
Automated Assessment Tool
14%
Automatic Update
14%
Automaton
28%
Autonomous System
14%
Backtracking
14%
Benefit Cost Analysis
14%
C Program
28%
Case Study
77%
Closed Population
14%
Code Generator
14%
Code Improvement
28%
Command Language
21%
Comprehensibility
14%
Computational Cost
25%
Configuration Option
45%
Configuration Space
15%
Control Mechanism
14%
Control-Flow Graph
14%
Controller Synthesis
14%
Data Analytics
21%
Data Type
14%
Design Language
18%
Domain-specific languages
69%
Effective Modeling
14%
Energy Consumption
14%
Floating Point
28%
Functional Languages
14%
Gathering Data
14%
Github Pull Request
14%
Groupware
19%
Image Segmentation
28%
Inference Engines
14%
Inference System
14%
Integration Process
33%
Learning Performance
14%
Learning System
24%
Legacy Systems
14%
Linux
31%
Machine Learning
24%
Maintainability
16%
Mission Scenario
14%
model based testing
14%
Model Checking
78%
Model Generation
14%
Model Transformation
35%
Multimedia
19%
Open Source
46%
Open Source Community
64%
Open Source Software
53%
Operating Systems
73%
Operational Semantics
28%
Order Function
14%
Pattern Matching
35%
Preprocessor
47%
Privacy Policies
21%
Program Analysis
23%
program debugging
14%
Program Transformation
28%
Quality Management
46%
Quantitative Evaluation
14%
Refactoring
14%
Risk Analysis
28%
Risk Measurement
14%
Risk Sensitivity
14%
Robot
90%
Robotics Application
32%
Single Objective
14%
Single Program
38%
social aspect
28%
Software Architecture
28%
Software Developer
35%
Software Development
32%
Software Product Line
34%
Software Project
26%
Software Quality
17%
Software Systems
100%
Source Codes
48%
Speed-up
14%
State Machine
17%
State Space
15%
Static Program Analysis
40%
Strategic Aspect
21%
Symbolic Execution
21%
Syntactics
14%
Time Consumption
14%
Timed Automaton
14%
Transition System
21%
underwater robot
14%
Update Operation
14%
Urban Environment
14%
Variability Model
37%
variability modeling
14%
Virtual Reality
71%
Visual Characteristic
14%
Keyphrases
Abstract Domains
17%
Abstract Interpretation
30%
Abstraction Refinement
14%
Active Learning
28%
Automata
21%
Autonomous Robots
17%
Bayesian Inference
21%
Behavior Trees
28%
Bug Finding
28%
C Program
28%
Code Changes
28%
Code Element
28%
Code Features
28%
Code Fragments
23%
Code Quality
16%
Code Snippets
28%
Code-based
16%
Collaboration Tools
14%
Configurable Platform
28%
Configuration Options
20%
Controlled Experiment
46%
Data Analytics
17%
Data Anonymization
21%
Debugging
35%
Domain-specific Languages
63%
Dynamic Logic
19%
Family-based Model Checking
17%
Family-centered
18%
Floating-point
19%
Galois Connection
16%
General-purpose Languages
22%
GitHub
19%
Guarded Command Language
16%
High-grade Transformation
35%
IDE Tool
28%
Immersive
19%
Integrated Platform
33%
Integrated Spaces
28%
Integration Task
28%
Large-scale Software System
17%
Levels of Abstraction
17%
Linux Kernel
19%
Magnifying Glass
28%
Main Idea
17%
Maintenance Cost
28%
Metacontrol
17%
Multimedia
14%
Non-programming
28%
Open Source Community
71%
Operational Semantics
19%
Participatory Action Research
14%
Pattern Matching
31%
Preprocessor
19%
Privacy Concerns
28%
Privacy Policy
21%
Privacy Risk Assessment
21%
Process Integration
33%
Program Families
28%
Program Verification
16%
Programmer
34%
Pull Request
42%
Quality Assurance
24%
RASCAL
28%
Recursive Types
14%
Refactoring
19%
Refinement Types
28%
Robot Operating System
54%
Robotic Applications
31%
Robotics
25%
Self-adaptive
19%
Shape Properties
17%
Single System
32%
Small Sets
28%
Software Archeology
14%
Software Architecture Recovery
17%
Software Design
14%
Software Developers
25%
Software Exploration
19%
Software Product Lines
15%
Software Quality
17%
Software System
27%
Software Variants
46%
Software Visualization
23%
Source Code
27%
Source Code Analysis
19%
Specific Action
28%
State Machine
17%
Structure Modeling
14%
Student Perspectives
19%
Subject System
16%
System Level
17%
Tool Support
28%
Transformation Languages
38%
Transition System
17%
Traversal
31%
UPPAAL
17%
Variability Abstractions
37%
Variability Modeling
28%
Virtual Reality
57%
Xtend
30%