Automated Validation Of Software Product Lines Using First Order Logic Rules
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.
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://shdl.mmu.edu.my/3480/ |
| _version_ | 1848790338392555520 |
|---|---|
| author | Abdelrahman Elfaki, Abdelrahman Osman |
| author_facet | Abdelrahman Elfaki, Abdelrahman Osman |
| author_sort | Abdelrahman Elfaki, Abdelrahman Osman |
| building | MMU Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:02Z |
| format | Thesis |
| id | mmu-3480 |
| institution | Multimedia University |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:02Z |
| publishDate | 2010 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | mmu-34802012-04-09T04:12:39Z http://shdl.mmu.edu.my/3480/ Automated Validation Of Software Product Lines Using First Order Logic Rules Abdelrahman Elfaki, Abdelrahman Osman QA76.75-76.765 Computer software 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. 2010-11 Thesis NonPeerReviewed Abdelrahman Elfaki, Abdelrahman Osman (2010) Automated Validation Of Software Product Lines Using First Order Logic Rules. PhD thesis, University of Multimedia. http://vlib.mmu.edu.my/diglib/login/dlusr/login.php |
| spellingShingle | QA76.75-76.765 Computer software Abdelrahman Elfaki, Abdelrahman Osman Automated Validation Of Software Product Lines Using First Order Logic Rules |
| title | Automated Validation Of Software Product Lines Using First Order Logic Rules |
| title_full | Automated Validation Of Software Product Lines Using First Order Logic Rules |
| title_fullStr | Automated Validation Of Software Product Lines Using First Order Logic Rules |
| title_full_unstemmed | Automated Validation Of Software Product Lines Using First Order Logic Rules |
| title_short | Automated Validation Of Software Product Lines Using First Order Logic Rules |
| title_sort | automated validation of software product lines using first order logic rules |
| topic | QA76.75-76.765 Computer software |
| url | http://shdl.mmu.edu.my/3480/ http://shdl.mmu.edu.my/3480/ |