Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
3
Software engineering
3
Specifications
3
Artificial intelligence
2
Automated approach
2
Computation theory
2
Goal-oriented requirements engineering
2
Learning systems
2
Requirements elicitation
2
Requirements engineering
2
Scenario-based specifications
2
Semi-automated
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...”
SER -
3Materias: “...Scenarios...”
CONF -
4Materias: “...Scenario-based specification...”
JOUR