Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
4
Specifications
Artificial intelligence
3
Automated approach
3
Computation theory
3
Learning systems
3
Model checking
3
Requirements elicitation
3
Scenario-based specifications
3
Semi-automated
3
Abductive reasoning
1
Education
1
Event Calculus
1
Goal-oriented requirements engineering
1
Inductive logic programming
1
Linear temporal logic
1
Logic programming
1
Program translators
1
Requirements engineering
1
Scenario-based specification
1
Temporal logic
1
-
1Materias: “...Scenario-based specifications...”
Artículo publishedVersion -
2Materias: “...Scenario-based specifications...”
Artículo publishedVersion -
3Materias: “...Scenario-based specifications...”
SER -
4Materias: “...Scenario-based specification...”
JOUR