Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Software engineering
Specifications
6
Artificial intelligence
4
Automated approach
4
Computation theory
4
Learning systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Behavioral properties
2
Formal languages
2
Knowledge engineering
2
Modifiability
2
Property Specification
2
Quality attributes
2
Response patterns
2
Scenario-based languages
2
Software verification
2
Specification languages
2
Specification patterns
2
-
1Publicado 2012Materias: “...Scenario-based specifications...”
-
2Materias: “...Scenario-based specifications...”
Artículo publishedVersion -
3Materias: “...Scenario-based specifications...”
Artículo publishedVersion -
4Materias: “...Scenario-based specifications...”
SER -
5
-
6Materias: “...Scenario-based languages...”
CONF