Buscar
Itens para a visualização no momento 1-1 of 1
Proceso y progreso de la formalización de requisitos
(Instituto Tecnológico Metropolitano, 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 ...