Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral properties
4
Formal languages
4
Property Specification
4
Software verification
Specification languages
Specification patterns
4
Specifications
4
Behavioral model
2
Behavioral modeling
2
Computational linguistics
2
Computer hardware description languages
2
Graphical languages
2
Knowledge engineering
2
Model checking
2
Modifiability
2
Pattern representation
2
Pattern specifications
2
Quality attributes
2
Requirements engineering
2
Response patterns
2
Scenario-based languages
2
Semantics
2
Software engineering
2
Verification
2
Visual languages
2
requirements engineering
2
specification patterns
2
-
1
-
2
-
3
-
4