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