Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Goal-oriented requirements engineering
2
Inductive logic programming
2
Logic programming
2
Requirements engineering
2
Specifications
2
Abductive reasoning
1
Automated support
1
Behaviour models
1
Declarative goals
1
Education
1
Engineering education
1
Event Calculus
1
Event calculus
1
Goal models
1
Inductive learning
1
Inductive logic programming (ILP)
1
Iterative process
1
Key characteristics
1
Linear temporal logic
1
Machine-learning
1
Modal Transition Systems
1
Modal transition system
1
Model checking
1
Modelling softwares
1
Models
1
Operational requirements
1
Partial specifications
1
Program translators
1
Real case
1
Refinement
1
-
1Materias: “...Inductive logic programming...”
JOUR -
2Materias: “...Inductive logic programming...”
CONF -
3Materias: “...Logic programming...”
JOUR