Title of article :
Modular Verification of Open Features Using Three-Valued Model Checking
Author/Authors :
Harry C. Li، نويسنده , , Shriram Krishnamurthi and Kathi Fisler ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
feature-oriented programming , model checking , modular verification , cross-cutting concerns insoftware
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
