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