Abderrahmane Seriai

Tras la cooperación de tres instituciones: la Universidad de Montpellier, el Centre National de Recherche Scientifique y la empresa Berger-Levrault, el proyecto SoftScanner ya está en marcha. SoftScanner es un enfoque basado en modelos para la generación automática de configuraciones de anclaje óptimas para operaciones de seguimiento de la ejecución de sistemas de software. Contexto y problema Los desarrolladores escriben "instrucciones de registro" en el código fuente [...]