Browsing Ingeniería de Sistemas by Author "Bermúdez, Carmen Eduvina"
Now showing items 1-1 of 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 ...