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.
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 出版: |
2010
|
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| id |
my-mmu-ep.3480 |
|---|---|
| record_format |
uketd_dc |
| spelling |
my-mmu-ep.34802012-04-09T04:12:39Z Automated Validation Of Software Product Lines Using First Order Logic Rules 2010-11 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 http://shdl.mmu.edu.my/3480/ http://vlib.mmu.edu.my/diglib/login/dlusr/login.php phd doctoral University of Multimedia Research Library |
| institution |
Multimedia University |
| collection |
MMU Institutional Repository |
| topic |
QA76.75-76.765 Computer software |
| spellingShingle |
QA76.75-76.765 Computer software Abdelrahman Elfaki, Abdelrahman Osman Automated Validation Of Software Product Lines Using First Order Logic Rules |
| 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. |
| format |
Thesis |
| qualification_name |
Doctor of Philosophy (PhD.) |
| qualification_level |
Doctorate |
| author |
Abdelrahman Elfaki, Abdelrahman Osman |
| author_facet |
Abdelrahman Elfaki, Abdelrahman Osman |
| author_sort |
Abdelrahman Elfaki, Abdelrahman Osman |
| title |
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_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_sort |
automated validation of software product lines using first order logic rules |
| granting_institution |
University of Multimedia |
| granting_department |
Research Library |
| publishDate |
2010 |
| _version_ |
1747829506022834176 |