Normal view MARC view ISBD view

Model checking the behavior of frameworks extended with other frameworks

By:

Balaguer, Federico

Material type: Article

ArticlePublication details: ref_localidad@NULL : ACM, 2005Description: 1 archivo (144,1 KB)Subject(s):

Online resources:

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Capítulo de libro	Biblioteca Fac.Informática	A0555 (Browse shelf(Opens below))	Available		DIF-A0555

Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0552 Desempeño de tráfico tipo streaming en una red de datos simulada	A0553 Administración de QoS en MANET	A0554 Tutorías PACENI : una experiencia de intervención	A0555 Model checking the behavior of frameworks extended with other frameworks	A0556 Experiences in teaching new technologies in computer science university degrees	A0557 Building mobile mashup applications : some challenges encountered in computer science degrees	A0558 Modificaciones realizadas al robot Multiplo N6 para permitir programación interactiva	Next

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.

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

There are no comments on this title.

to post a comment.