Buscar recursos académicos

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"El uso de múltiples herramientas de software, por lo general inconexas, para realizar la gestión de los proyectos de desarrollo de software presenta desventajas respecto del uso de una única herramienta de gestión i...

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

"La ingeniería del Software permite el desarrollo de herramientas que pueden ayudar en el entrenamiento y la introducción de este tipo de tecnologías. La presente obra muestra el desarrollo de un sistema de asistencia...

"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...

"La Cirugía Asistida por Computadora (CAS) es un conjunto de herramientas de hardware y software desarrolladas para asistir a la resolución de problemas quirúrgicos complejos. El concepto principal de CAS es el desarr...