Citation
Abdelrahman Elfaki, Abdelrahman Osman (2010) Automated Validation Of Software Product Lines Using First Order Logic Rules. PhD thesis, University of Multimedia. Full text not available from this repository.
Official URL: http://vlib.mmu.edu.my/diglib/login/dlusr/login.ph...
Abstract
This research aims to accentuate the extraction of high quality software products from SPL. Usually, a medium-sized SPL contains thousands of features with constraint dependency rules between them. Therefore, the validation of SPL is a vital process and it is not feasible to be done manually.
| Item Type: | Thesis (PhD) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA71-90 Instruments and machines > QA75.5-76.95 Electronic computers. Computer science > QA76.75-76.765 Computer software |
| Divisions: | Faculty of Computing and Informatics (FCI) |
| Depositing User: | Ms Suzilawati Abu Samah |
| Date Deposited: | 09 Apr 2012 04:12 |
| Last Modified: | 09 Apr 2012 04:12 |
| URII: | http://shdl.mmu.edu.my/id/eprint/3480 |
Downloads
Downloads per month over past year
 Edit (login required) |