Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Implementaciones"
Now showing items 1-1 of 1
-
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
(2009)Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, ...