Teknik og materialevidenskab
Model checking
100%
Semantics
90%
Open source software
61%
Robots
47%
Robotics
46%
Linux
40%
Static analysis
38%
Quality assurance
38%
Glass
34%
Visualization
33%
Syntactics
33%
Experiments
32%
Pattern matching
30%
DSL
29%
Recovery
29%
Software engineering
29%
Remotely operated vehicles
28%
Costs
27%
Formal methods
25%
Data Analytics
23%
Risk analysis
23%
Repair
23%
Machine learning
23%
Software architecture
22%
Electric network analysis
22%
Testing
21%
Information retrieval
21%
Software quality
20%
Specifications
20%
Virtual reality
19%
Flow graphs
19%
Life cycle
18%
Social aspects
18%
Redundancy
18%
Acoustic waves
17%
Explosions
17%
Automation
16%
Copying
16%
Ethical aspects
16%
Health
16%
Cameras
15%
Information analysis
14%
Modeling languages
14%
Industry
13%
Students
13%
Value engineering
13%
Merging
12%
Computer hardware
12%
Finance
12%
Specification languages
12%
Chemical analysis
11%
Controllers
11%
Data privacy
11%
Ruby
10%
Telecommunication
10%
Industrial research
10%
Context free grammars
9%
Functional programming
9%
Managers
9%
Textbooks
9%
Positive ions
9%
Embedded software
9%
Concretes
8%
Temporal logic
8%
Feature extraction
8%
Taxonomies
7%
Computer science
7%
Legacy systems
6%
Computer games
6%
Hooks
6%
Error analysis
6%
High level languages
6%
Geometry
6%
Dynamic analysis
6%
Spreadsheets
6%
Modernization
6%
Cloning
5%
Electric grounding
5%
Scanning
5%
Set theory
5%
Control systems
5%
Fault tolerance
5%
Firmware
5%
Matematik
Abstraction
59%
Timed Automata
28%
Game
26%
Model Checking
24%
Real-time
24%
Controller
20%
Synthesis
19%
Automata
19%
Refinement
19%
Software Product Lines
16%
State Space
15%
Family
12%
Explosion
11%
Model
7%
Software System
7%
Safety
6%
Transition Systems
6%
Configuration Space
5%
Dynamic Networks
5%
Computational Cost
5%
Framework
5%
Reconfiguration
5%
Samfundsvidenskab
privacy
22%
Open Sources
22%
participation
11%
software
10%
Teaching
9%
interaction
7%
student
6%
anonymity
6%
significant acquisition
5%
Denmark
5%
distribution strategy
5%