Un marco unificado para análisis de recursos y tiempo de ejecución, validación dinámica y pruebas unitarias = a Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing

Abstract

Quiero dar las gracias especialmente a mi director de tesis, Pedro López, y al director del Grupo de Investigación CLIP, Manuel Hermenegildo, quienes siempre han creído en mí en los momento más críticos del desarrollo de la presente tesis, por todo el tiempo y recursos que siempre me han brindado para llevar a buen término el desarrollo del presente trabajo, y sus oportunos consejos tanto en el ámbito científico y profesional, como en el personal. A Francisco Bueno, quien fue la primera persona del grupo CLIP con la que tuve contacto y a través de la cual me integré formalmente en el grupo. A Daniel Cabeza, Manuel Carro y Germán Puebla, quienes sobre todo al inicio de mis estudios tuvieron el tiempo y la paciencia para resolver mis dudas. También a otros investigadores del grupo con quienes he compartido tiempo y jornadas de trabajo, como son Elvira Albert,