DocumentCode
20470
Title
Modular Detection of Feature Interactions Through Theorem Proving: A Case Study
Author
Kathi Fisler استاد راهنما , George T. Heineman استاد مشاور
University
WPI
Grade
نامعلوم
Major
MS )Computer Science(
Number of pages
0
Publish Date
2003
Keyword
feature-oriented programming , Software Verification , modular verification , Theorem Proving , feature interaction
Note
01
Language
انگليسي
Link To Document