ListarIngeniería de Sistemas por tema "Desarrollo científico y tecnológico"
Mostrando ítems 1-1 de 1
-
Proceso y progreso de la formalización de requisitos
(Instituto Tecnológico Metropolitano, Facultad de Ingenierías, Ingeniero de Sistemas, 2016)Los métodos formales son un área de las Ciencias Computacionales que ha evolucionado ampliamente en las últimas dos décadas. Actualmente tienen mayor uso en el desarrollo de software crítico, pero varios investigadores ...