Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Software engineering
28
Model checking
18
Specification languages
18
Computer software
12
Semantics
12
Computational linguistics
10
Formal methods
10
Abstracting
8
Calculations
8
Formal languages
8
Learning systems
8
SAT-solving
8
Scenario-based specifications
8
Artificial intelligence
6
Behaviour models
6
Codes (symbols)
6
Computation theory
6
Discrete event simulation
6
Linguistics
6
Modal Transition Systems
6
Program translators
6
Requirements engineering
6
Requirements specifications
6
System specification
6
Temporal logic
6
Verification
6
Adaptive systems
4
Alloy
4
Alloy languages
4
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20