Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
ABSTRACCIONES DE COMPORTAMIENTO DE GRANO GRUESO
2
API USAGE PROTOCOL
2
COARSE-GRAINED BEHAVIOUR ABSTRACTION
2
EXPRESIVIDAD VS. ENTENDIBILIDAD
2
EXPRESSIVENESS VS. UNDERSTAND ABILITY
2
GUIAS PARA LA VALIDACION
2
MODELOS DISEÑADOS PARA LA VALIDACION GUIADA POR HUMANOS
2
MODELS AIMED AT HUMAN-DRIVEN VALIDATION
2
PROTOCOLO DE USO DE APIS
2
Software engineering
2
Source codes
2
VALIDATION GUIDELINES
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Behavior model
1
Behaviour models
1
Behaviour validation
1
Communication
1
Computer software
1
Concise representations
1
Concrete state
1
Design
1
Enabledness abstractions
1
Engineering activities
1
Finite model
1
Formal methods
1
Industrial strength
1
Level of abstraction
1
-
1Materias: “...Source-code validation...”
-
2Materias: “...Behaviour validation...”
-
3Materias: “...validation...”
-
4por de Caso, GuidoMaterias: “...MODELS AIMED AT HUMAN-DRIVEN VALIDATION...”
Publicado 2013
Tesis doctoral publishedVersion -
5por de Caso, GuidoMaterias: “...MODELS AIMED AT HUMAN-DRIVEN VALIDATION...”
Publicado 2013
Tesis Doctoral -
6Materias: “...source code validation...”