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:

Bibliographic Details
Main Author:	Abdelrahman Elfaki, Abdelrahman Osman
Format:	Thesis
Published:	2010
Subjects:	QA76.75-76.765 Computer software
Tags:	Add Tag No Tags, Be the first to tag this record!

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

Automated Validation Of Software Product Lines Using First Order Logic Rules

Similar Items