Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
Semantics
4
Behavioral properties
3
Specifications
3
Abstracting
2
Black boxes
2
Branch coverage
2
Computational linguistics
2
Conformance testing
2
Coverage criteria
2
Formal languages
2
Model checking
2
Property Specification
2
Software engineering
2
Software testing
2
Software verification
2
Specification patterns
2
API call protocol
1
API calls
1
Adequacy criteria
1
Behavioral model
1
Behavioral modeling
1
Behaviour models
1
Black-box testing
1
Case-based approach
1
Case-based approaches
1
Computer hardware description languages
1
Computer software
1
Effective translation
1
Embedded systems
1
-
1
-
2
-
3
-
4
-
5
-
6