Research Projects
People
Publications
Recent News
Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals
Safety Analysis of Evolving Product Lines
Safety Analysis for Critical Product Lines
Natural Language in the Development of High-Confidence Software
Modeling Secure Web Services in AADL, NSF Center for Information Protection at ISU
