FIU Home
About CADSE
Research
Recent Publications
CADSE Activities
People
Opportunities
Training
Funding
Contact Info
Links



CADSE Home


We are developing a unified formal methodology for distributed systems design. The related research topics include:

  1. A Formal Representation of Architectural Design
  2. Constraint-Driven Formal Verification
  3. Goal-Directed, Incremental Architectural Refinement Process
  4. Interactive Formal Design, Verification and Testing Workbench
  5. Architectural Modeling of Mobile Agent Systems

Here are some the publications.

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