Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Inductive logic programming
Specifications
4
Abductive reasoning
2
Automated support
2
Education
2
Event Calculus
2
Event calculus
2
Goal-oriented requirements engineering
2
Inductive logic programming (ILP)
2
Key characteristics
2
Linear temporal logic
2
Logic programming
2
Modal Transition Systems
2
Modal transition system
2
Modelling softwares
2
Partial specifications
2
Program translators
2
Real case
2
Refinement
2
Requirements engineering
2
Scenario-based specification
2
Software engineering
2
Temporal logic
2
-
1
-
2
-
3
-
4