Automated Validation Of Software Product Lines Using First Order Logic Rules

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 > 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
URI: http://shdl.mmu.edu.my/id/eprint/3480

Actions (login required)

View Item View Item