Model checking the behavior of frameworks extended with other frameworks

Título:

Model checking the behavior of frameworks extended with other frameworks

Autor:

Balaguer, Federico

Colaboradores:

; 

Temas:

DESARROLLO DE SOFTWAREDISEÑO DE FRAMEWORKSVERIFICACIÓN DE PROGRAMAS

En:

Conference on Object Oriented Programming, Systems, Languages, and Applications (20ma : 2005 oct. 16-20 : San Diego, California). Proceedings. ACM : Nueva York, 2005, pp. 122-123

Resumen:

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.

URL/DOI:

http://dx.doi.org/10.1145/1094855.1094894

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (144,1 KB)

Idioma:

Inglés

Publicación:

ACM, 2005

Puede solicitar más fácilmente el ejemplar con: A0555

Ver estantes