Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abductive reasoning
1
Education
1
Event Calculus
1
Goal-oriented requirements engineering
1
Inductive logic programming
1
Linear temporal logic
Logic programming
1
Program translators
1
Requirements engineering
1
Scenario-based specification
1
Software engineering
1
Specifications
1
Temporal logic
1
-
1Materias: “...Scenario-based specification...”
JOUR