Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational linguistics
Computer hardware description languages
2
Formal languages
Semantics
2
Specifications
2
Behavioral model
1
Behavioral modeling
1
Behavioral properties
1
Calculations
1
Category theory
1
Formal framework
1
Formal methods
1
Formal specification
1
Graphical languages
1
Heterogeneous specifications
1
Mathematical formalism
1
Pattern representation
1
Pattern specifications
1
Property Specification
1
Requirements engineering
1
Software verification
1
Specification languages
1
Specification patterns
1
Structured specification
1
Structuring mechanisms
1
System specification
1
System verification
1
System verifications
1
Verification
1
Visual languages
1
-
1
-
2