Metodología formal para la especificación de sistemas software en entornos multi-perspectiva
Tesis doctoral de Ana Belen Barragans Martinez El desarrollo de un sistema software complejo implica el trabajo conjunto y colaborativo […]
Tesis doctoral de Jorge Garcia Duque
Información academica Jorge Garcia Duque. Tesis donde Jorge Garcia Duque ha sido autor, director o parte del tribunal.
Soporte metodológico para la evolución de especificaciones formales. aplicación en sistemas telemáticos
Tesis doctoral de Martin Lopez Nores El tránsito hacia la denominada sociedad de la información está transformando de manera notoria
Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.
Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como