Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
Specifications
18
Semantics
10
Behavioral properties
6
Computational linguistics
6
Model checking
6
Software engineering
6
Abstracting
4
Black boxes
4
Branch coverage
4
Computer circuits
4
Conformance testing
4
Coverage criteria
4
Flowcharting
4
Formal languages
4
Formal methods
4
MTS
4
Modal Transition Systems
4
Property Specification
4
Property specification language
4
Scenario-based languages
4
Scenario-based specifications
4
Scenarios
4
Software testing
4
Software verification
4
Specification patterns
4
Verification
4
API call protocol
2
API calls
2
Adequacy criteria
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20