: Posters on Display Monday : Posters on Display Tuesday : Posters on Display Wednesday : Posters on Display Thursday
Model Checking the Behavior of Frameworks Extended with Other Frameworks
Federico Balaguer, University of Illinois at Urbana-Champaign
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 dynamic
mismatches.
This paper shows the use of Maude to verify the soundness of
framework compositions at dynamic level.
