En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que integran conocimiento cuantitativo y cualitativo construidos para sistemas que evolucionan en el ...

Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos como lenguajes de muy alto nivel a partir de los cuales se puedan obtener rápidamente prototipos ...