FIU Home
About CADSE

Recent Publications
CADSE Activities
People
Opportunities
Training
Funding
Contact Info
Links



CADSE Home

In this research project, we are exploring how formal methods can be used in reverse engineering and re-engineering existing software systems. We have developed a technique based on high-level Petri nets to retrieve reusable components and to analyze component integration. We are investigating how to further extract and formalize design patterns in reusable systems.


[ Software Reuse Publications ]        [ Back to CADSE Research ]

For problems or questions about this web, contact webmaster@cadse.cs.fiu.edu