Buscar
Mostrando ítems 1-10 de 281
Biortogonalidad para corrección de compiladores y adecuación computacional
(2019)
En esta tesis hemos estudiado en profundidad los métodos de biortogonalidad y step-indexing para probar tanto adecuación computacional como corrección de compiladores. Un primer aporte es la prueba de corrección de una ...
Adecuación de una metodología para incorporar movilidad empresarial a través del mejoramiento de los procesos de negocio
(Universidad EAFITMaestría en IngenieríaEscuela de Ingeniería, 2016)
Criterios basados en abstracciones de comportamiento para testing de conformidad de protocolosBehaviour abstraction based adequacy criteria for protocol conformance testing
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2015)
Evaluar el pensamiento computacional mediante resolución de problemas: validación de un instrumento de evaluación
El pensamiento computacional se está evaluando, en la mayoría de los enfoques, a través de elementos de programación. Desde aquí se promueve un enfoque de evaluación desde la resolución de problemas complejos, ya este ...