Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Learning systems
4
Software engineering
4
Specifications
4
Artificial intelligence
3
Automated approach
3
Computation theory
3
Model checking
3
Requirements elicitation
3
Scenario-based specifications
3
Semi-automated
3
Automated support
2
Application programs
1
Computer circuits
1
Engineering education
1
Event calculus
1
Future challenges
1
Inductive logic programming
1
Inductive logic programming (ILP)
1
Interpretable representation
1
Key characteristics
1
Learning approach
1
Modal Transition Systems
1
Modal transition system
1
Modelling softwares
1
Partial specifications
1
Real case
1
Refinement
1
Research efforts
1
Risk assessment
1
Rule based
1
-
1Materias: “...Semi-automated...”
Artículo publishedVersion -
2Materias: “...Semi-automated...”
Artículo publishedVersion -
3Materias: “...Semi-automated...”
SER -
4Materias: “...Automated support...”
CONF -
5Materias: “...Automated support...”
CONF