Mathematics
Java
65%
Formal Specification
36%
Sort
36%
Formal Verification
35%
Object-oriented
32%
Correctness
31%
Reasoning
25%
Symbolic Execution
24%
Heap
20%
Object
20%
Sorting algorithm
19%
Assertion
19%
Logic
19%
Modeling Language
18%
Soundness
18%
Specification
17%
Abstract Data Types
17%
Sound
17%
Dynamic Logic
16%
Counting
15%
Sorting
15%
Specification Languages
14%
Auxiliary Variables
13%
Theorem
12%
Language
11%
Proof System
11%
Proof Theory
11%
Abstraction
10%
History
10%
Programming Languages
10%
Bounded Model Checking
10%
Separation Logic
9%
Completeness
8%
Precondition
7%
Modeling
7%
Semantics
7%
Virtual Machine
7%
Resources
7%
Software Components
6%
Data Model
6%
Insertion
6%
Quantification
6%
Reachability
6%
Electronic Commerce
6%
Data Structures
6%
Justification
6%
Object-oriented Programming
5%
Exception
5%
Constraint Solving
5%
Costs
5%
Engineering & Materials Science
Specifications
100%
Formal verification
77%
Modeling languages
44%
Specification languages
43%
Monitoring
39%
Abstract data types
34%
Formal specification
28%
DevOps
28%
Computer programming languages
27%
Invariance
25%
Sorting
24%
Testing
21%
Trace analysis
18%
Static analysis
16%
Compliance
15%
Industry
15%
Acoustic waves
14%
Aspect oriented programming
13%
Object oriented programming
13%
Virtual machine
12%
Flow control
11%
Containers
11%
Elasticity
11%
Network protocols
10%
Costs
10%
Information technology
10%
Semantics
10%
Software engineering
9%
Taxation
9%
Graph Databases
8%
Sustainable development
8%
Encapsulation
6%
Model checking
6%
Software design
6%
Communication
6%
Graphical user interfaces
6%