Model checking the behavior of frameworks extended with other frameworks
Balaguer, Federico
Model checking the behavior of frameworks extended with other frameworks - 1 archivo (144,1 KB)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
Frameworks are important in software development. There are problematic aspects of framework development. When frameworks are extended with functionality implemented by other frameworks, developers face a difficult task solving static and (specially) dynamic mismatches. The dynamic aspect is less visible to developers thus it is usually the cause of failure, specially in frameworks using multi threading pro- gramming. This paper shows how to verify the soundness of frame- work compositions at dynamic level using using temporal logic and tools provided by Full Maude.
DIF-M6813
DESARROLLO DE SOFTWARE
DISEÑO DE FRAMEWORKS
VERIFICACIÓN DE PROGRAMAS
Model checking the behavior of frameworks extended with other frameworks - 1 archivo (144,1 KB)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
Frameworks are important in software development. There are problematic aspects of framework development. When frameworks are extended with functionality implemented by other frameworks, developers face a difficult task solving static and (specially) dynamic mismatches. The dynamic aspect is less visible to developers thus it is usually the cause of failure, specially in frameworks using multi threading pro- gramming. This paper shows how to verify the soundness of frame- work compositions at dynamic level using using temporal logic and tools provided by Full Maude.
DIF-M6813
DESARROLLO DE SOFTWARE
DISEÑO DE FRAMEWORKS
VERIFICACIÓN DE PROGRAMAS