Q# | TOPIC
| 1 | 2 | 3 | 4 | 5
|
1 | predicate calculus or math logic
| 2 | 4 | 10 | 2 | 0
|
2 | formal languages, Turing machines
| 1 | 4 | 8 | 5 | 0
|
3 | Java experience
| 1 | 5 | 4 | 6 | 2
|
4 | C++ experience
| 0 | 4 | 4 | 8 | 2
|
5 | other OO PLs
| 1 | 7 | 7 | 2 | 0
|
6 | Design patterns
| 2 | 9 | 3 | 4 | 0
|
7 | ML experience
| 12 | 5 | 0 | 1 | 0
|
8 | other functional PLs
| 7 | 8 | 3 | 0 | 0
|
9 | XP
| 6 | 5 | 6 | 2 | 0
|
10 | JUnit
| 4 | 7 | 6 | 1 | 0
|
11 | ADTs in programming
| 0 | 4 | 8 | 6 | 0
|
12 | axioms for ADT semantics
| 4 | 11 | 3 | 0 | 0
|
13 | pre/post conditions, loop invariants
| 0 | 6 | 5 | 7 | 0
|
14 | lambda calculus
| 7 | 6 | 5 | 0 | 0
|
15 | denotational semantics
| 15 | 3 | 0 | 0 | 0
|
16 | temporal logic
| 12 | 5 | 1 | 0 | 0
|
17 | type expressions and theory
| 8 | 7 | 3 | 0 | 0
|
18 | aspect-oriented programming
| 13 | 4 | 1 | 0 | 0
|