Listar por autor "Bermúdez, Carmen Eduvina"
Mostrando ítems 1-1 de 1
-
Proceso y progreso de la formalización de requisitos
Bermúdez, Carmen Eduvina (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 ...