مرکز منطقه ای اطلاع رساني علوم و فناوري - Modular Detection of Feature Interactions Through Theorem Proving: A Case Study

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 :

Publish Date :

2003

Keyword :

feature-oriented programming , Software Verification , modular verification , Theorem Proving , feature interaction

Note :

Language :

انگليسي

Link To Document :