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 […]
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.
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
Evaluación del rendimiento del software basada en uml y redes de petri
Tesis doctoral de José Javier Merseguer Hernaiz En esta tesis se da semántica en términos de redes de ptri estocásticas
Promenade: a uml-based approach to software process modelling
Tesis doctoral de Josep M. Ribó Balust Datos académicos de la tesis doctoral «Promenade: a uml-based approach to software