Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Goal-oriented requirements engineering
3
Requirements engineering
3
Software engineering
3
Inductive learning
2
Inductive logic programming
2
Logic programming
2
Specifications
2
Abductive reasoning
1
Adaptive control systems
1
Adaptive systems
1
Automated support
1
Behaviour models
1
Control theory
1
Controller synthesis
1
Controllers
1
Declarative goals
1
Education
1
Engineering education
1
Environment models
1
Event Calculus
1
Event calculus
1
Formal logic
1
Goal models
1
Graceful degradation
1
Inductive logic programming (ILP)
1
Iterative methods
1
Iterative process
1
Key characteristics
1
Learning algorithms
1
Linear temporal logic
1
-
1Materias: “...Inductive logic programming...”
JOUR -
2Materias: “...Inductive logic programming...”
CONF -
3por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF -
4Materias: “...Formal logic...”
CONF -
5Materias: “...Logic programming...”
JOUR