OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES and APPLICATIONS
 
 
Program
 


Program (2mb PDF)

Explore
  Invited Speakers
  Onward!
  Panels
  Workshops
Discover
  Research Papers
  Student Research Comp.
  Posters
  Doctoral Symposium
  Educators' Symposium
  Wiki Symposium
  Dynamic Lang. Symp.
Understand
  Tutorials
  Essays
  Practitioner Reports
  Demonstrations
Create
  DesignFest
  Lightning Talks
  FlashBoF
  Instant Arts School Exp.
 
Other Events
 
Resort Map (364kb PDF)
 
Resort Map (JPG)

 

 
Basket
 

view, help

"Model Checking the Behavior of Frameworks Extended with Other Frameworks"

 

 
Page
 

Printer-friendly

 
 


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