Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral properties
2
Formal languages
2
Knowledge engineering
2
Model checking
2
Modifiability
2
Property Specification
2
Quality attributes
2
Response patterns
Scenario-based languages
2
Software engineering
2
Software verification
Specification languages
Specification patterns
2
Specifications
2
-
1
-
2