Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
EXPRESSIVITY
2
ABSTRACCIONES DE COMPORTAMIENTO DE GRANO GRUESO
1
API USAGE PROTOCOL
1
AUTOMATA
1
AXIOMATIZACION
1
AXIOMATIZATION
1
BISIMULATION
1
BRANCHING COUNTER SYSTEMS
1
COARSE-GRAINED BEHAVIOUR ABSTRACTION
1
COMPUTATIONAL COMPLEXITY
1
DATA-AWARE LOGICS
1
DECIDABILITY
1
DECIDIBILIDAD
1
EXPRESIVIDAD
1
EXPRESIVIDAD VS. ENTENDIBILIDAD
1
EXPRESSIVENESS VS. UNDERSTAND ABILITY
1
GUIAS PARA LA VALIDACION
1
INTERPOLACION
1
INTERPOLATION
1
LOGIC
1
LOGICA
1
MEMORIA
1
MEMORY
1
MODAL
1
MODEL THEORY
1
MODELOS DISEÑADOS PARA LA VALIDACION GUIADA POR HUMANOS
1
MODELS AIMED AT HUMAN-DRIVEN VALIDATION
1
PROOF THEORY
1
PROTOCOLO DE USO DE APIS
1
SATISFIABILITY
1
-
1
-
2
-
3por de Caso, GuidoMaterias: “...EXPRESSIVENESS VS. UNDERSTAND ABILITY...”
Publicado 2013
Tesis Doctoral