Listar Tesis (Lenguajes y Sistemas Informáticos) por fecha de publicación
Mostrando ítems 1-20 de 127
- Tesis Doctoral
- Tesis Doctoral
- Tesis Doctoral
- Tesis Doctoral
- Tesis Doctoral
-
Tesis Doctoral
Herencia y clasificación en un lenguaje de especificación orientado a objetos
(1998)Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ...
-
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 ...
- 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 ...
-
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 ...
-
Tesis Doctoral
Un entorno metodológico de ingeniería de requisitos para sistemas de información
(2000-09-19)En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ...
- Tesis Doctoral
- 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 ...
- Tesis Doctoral
- Tesis Doctoral
- Tesis Doctoral
-
Tesis Doctoral
Modelos y técnicas para la especificación y el análisis de la navegación en sistemas software
(2004)La Ingeniería del Software, definida como el estudio de los principios y metodologías para el desarrollo y mantenimiento ...
- Tesis Doctoral
-
Tesis Doctoral
Mejoras en eficiencia y eficacia de algoritmos evolutivos para aprendizaje supervisado
(2004)Los algoritmos evolutivos conforman una de las más importantes familias de modelos computacionales con aplicación en el ...