Browsing by Subject "VERIFICACIÓN FORMAL"

Sort by: Order: Results:

  • Rodríguez Rodríguez, Lorenzo (Universidad ORT Uruguay, 2018)
    El testeo de software es una de las fases cruciales del proceso de ingeniería de software y una de las más costosas tanto en recursos humanos como en tiempo dedicado a esta actividad. Se han desarrollado modelos y prácticas ...
  • Ferreira Lozano, Nicolás (Universidad ORT Uruguay, 2018)
    En los últimos diez años han aparecido herramientas para la verificación formal de programas que están entre los verificadores completamente automáticos y los verificadores que aceptan entrada del usuario en todos los pasos ...