Talks

 

ZOOM 

An Integrated Event-Driven Framework Supporting MDD  
Present at:   2004 Midwest Software Engineer Conference, Chicago

A Formal Foundation Supporting MDD  
Present at:   2003 DePaul CTI Research symposium, Chicago

Tools for Design By Contract 

Static and Dynamic Contract Verifiers For Java  
Present at:   2003 SEA Conference, Los Angels, CA

Other Related Talks 

Formal Structured Specification for Web Application Test  
Present at:   2002 SEA Conference, Boston, MA