Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACCIONES DE COMPORTAMIENTO DE GRANO GRUESO
3
API USAGE PROTOCOL
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
Abstracting
2
Finite model
2
Industrial strength
2
Novel techniques
2
Protocol specifications
2
Specifications
2
Abstraction techniques
1
Based specification
1
Behavior model
1
Behaviour models
1
Computer software
1
Concrete state
1
Engineering activities
1
Finite-state abstraction
1
Level of abstraction
1
Pre/post conditions
1
Requirements/specifications
1
Software engineering
1
automated abstraction
1
validation
1
-
1Materias: “...Protocol specifications...”
-
2Materias: “...Protocol specifications...”
-
3por de Caso, GuidoMaterias: “...API USAGE PROTOCOL...”
Publicado 2013
Tesis doctoral publishedVersion -
4por de Caso, GuidoMaterias: “...API USAGE PROTOCOL...”
Publicado 2013
Tesis doctoral publishedVersion -
5