Validation of multi-level rule-based exfert systems
Tesis doctoral de Pedro Meseguer Gonzalez Datos académicos de la tesis doctoral «Validation of multi-level rule-based exfert systems« Título […]
Tesis doctoral de Pere Botella López
Información academica Pere Botella López. Tesis donde Pere Botella López ha sido autor, director o parte del tribunal.
Contribucion a la generacion automatica de entornos basados en lenguaje. aplicacion a los lenguajes de especificacion.
Tesis doctoral de Miguel Moro Tomas Pedro De Datos académicos de la tesis doctoral «Contribucion a la generacion automatica
Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.
Tesis doctoral de Pere Botella López Se presenta un nuevo enfoque del uso de tipos de datos en la construccion
Un lenguaje para la especificacion y validacion de arquitecturas de software
Tesis doctoral de José Carlos Canal Velasco A medida que aumenta la complejidad de los sistemas de software surgen aspectos
Un entorno metodologico de ingenieria de requisitos para sistemas de información
Tesis doctoral de Amador Durán Toro En esta tesis se describe un entorno metodológico para la ingenieria de requisitos de
Diseño y verificacion de sistemas distribuidos mediante la aplicación combinada de metodos formales
Tesis doctoral de Alberto Gil Solla Esta tesis doctoral se centra en la aplicación de las tecnicas formales al diseño
Systematic construction of goal-oriented cots taxonomies
Tesis doctoral de Claudia Patricia Ayala Martinez The process of building software systems by assembling and integrating pre-packaged solutions in
Generacion de casos de prueba para composiciones de servicios web
Tesis doctoral de Jose Garcia Fanjul En los últimos años se ha detectado un importante y sostenido aumento en la
Automatic construction of descriptive rules.
Tesis doctoral de David Riaño Ramos Datos académicos de la tesis doctoral «Automatic construction of descriptive rules.« Título de
Metodología de modelado de procesos cooperativos en ingeniería del software
Tesis doctoral de José Luis Caro Herrero El trabajo desarrollado en esta tesis se enmarca dentro del área de investigación