Buscar
Mostrando ítems 1-10 de 15
Tesis Doctoral
Tesis Doctoral
Patrones de comportamiento temporal en modelos semicualitativos con restricciones
(2000)
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 ...
Tesis Doctoral
Tesis Doctoral
Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS
(2002-09-23)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de calidad pueden ser clasificadas en cuantitativas y cualitativas. Las primeras resultan muy adecuadas ...
Tesis Doctoral
Tesis Doctoral
Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO
(1999)
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 ...
Tesis Doctoral
Tesis Doctoral
Gramáticas de adjunción de árboles un enfoque deductivo en el análisis sintáctico
(2000)
Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes del contexto basadas en un sistema de reescritura de árboles. Desde la perspectiva del análisis ...
Tesis Doctoral