Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral model
2
Behavioral modeling
2
Behavioral properties
Computational linguistics
Computer hardware description languages
2
Formal languages
2
Graphical languages
2
Pattern representation
2
Pattern specifications
2
Property Specification
2
Requirements engineering
2
Semantics
2
Software verification
2
Specification languages
2
Specification patterns
2
Specifications
2
Verification
2
Visual languages
2
requirements engineering
2
specification patterns
2
-
1
-
2