Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational linguistics
Semantics
Computer hardware description languages
4
Formal languages
4
Specification languages
4
Specifications
4
API call protocol
2
API calls
2
Abstracting
2
Adequacy criteria
2
Behavioral model
2
Behavioral modeling
2
Behavioral properties
2
Black boxes
2
Black-box testing
2
Branch coverage
2
Calculations
2
Category theory
2
Conformance testing
2
Coverage criteria
2
Fault detection
2
Formal framework
2
Formal methods
2
Formal specification
2
Graphical languages
2
Heterogeneous specifications
2
Mathematical formalism
2
Pattern representation
2
Pattern specifications
2
Property Specification
2
-
1
-
2
-
3
-
4
-
5
-
6