Engineering & Materials Science
Specifications
100%
Monitoring
50%
Formal verification
45%
Modeling languages
40%
Specification languages
38%
DevOps
36%
Computer programming languages
35%
Sorting
31%
Testing
23%
Trace analysis
23%
Abstract data types
22%
Static analysis
21%
Compliance
20%
Industry
20%
Aspect oriented programming
17%
Object oriented programming
17%
Invariance
16%
Virtual machine
15%
Flow control
14%
Containers
14%
Elasticity
14%
Network protocols
14%
Information technology
13%
Software engineering
12%
Taxation
11%
Costs
11%
Graph Databases
10%
Sustainable development
10%
Software design
7%
Communication
7%
Graphical user interfaces
7%
Information systems
6%
Banking
5%
Experiments
5%
Availability
5%
Chemical analysis
5%
Mathematics
Sort
46%
Symbolic Execution
30%
Sorting algorithm
25%
Correctness
24%
Dynamic Logic
21%
Assertion
21%
Java
20%
Object-oriented
20%
Counting
19%
Sorting
19%
Auxiliary Variables
17%
Language
15%
Proof System
14%
Soundness
14%
Programming Languages
13%
Object
10%
Precondition
10%
Modeling
10%
Virtual Machine
9%
Proof Theory
9%
Software Components
8%
Abstraction
8%
Reachability
8%
Electronic Commerce
8%
Object-oriented Programming
7%
Exception
7%
Constraint Solving
7%
Specification Languages
7%
Aliasing
6%
Recursive Method
6%
Container
6%
Theorem
6%
Calculus
6%
Crash
5%
Syntax
5%