Index Catalog // Digital WPI

Start Over

Filtering by: Creator Roberts, Brian Glenn Collections Masters Theses

1. Modular Detection of Feature Interactions Through Theorem Proving: A Case Study

Keyword:: theorem proving, software verification, feature-oriented programming, feature interaction, and modular verification
Creator:: Roberts, Brian Glenn
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-08-21
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science