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
Pages
34
From page
349
To page
382
Keywords
feature-oriented programming , model checking , modular verification , cross-cutting concerns insoftware
Journal title
Automated Software Engineering
Serial Year
2005
Journal title
Automated Software Engineering
Record number
307148
Link To Document