Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACCIONES DE COMPORTAMIENTO DE GRANO GRUESO
3
API USAGE PROTOCOL
3
Abstracting
3
COARSE-GRAINED BEHAVIOUR ABSTRACTION
3
EXPRESIVIDAD VS. ENTENDIBILIDAD
3
EXPRESSIVENESS VS. UNDERSTAND ABILITY
3
GUIAS PARA LA VALIDACION
3
MODELOS DISEÑADOS PARA LA VALIDACION GUIADA POR HUMANOS
3
MODELS AIMED AT HUMAN-DRIVEN VALIDATION
3
PROTOCOLO DE USO DE APIS
3
VALIDATION GUIDELINES
3
Software engineering
2
Source codes
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 publishedVersion -
6por de Caso, GuidoMaterias: “...MODELS AIMED AT HUMAN-DRIVEN VALIDATION...”
Publicado 2013
Tesis Doctoral -
7Materias: “...source code validation...”