Automated Validation Of Software Product Lines Using First Order Logic Rules

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:

書目詳細資料
主要作者:	Abdelrahman Elfaki, Abdelrahman Osman
格式:	Thesis
出版:	2010
主題:	QA76.75-76.765 Computer software
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Support Vector Machine Based Cloud Quality Of Service Violation Prediction With Rule-Based Rectification
由: Wong, Tong Sheng
出版: (2019)

FLGA Traffic Controller With Fuzzy Logic Algorithm: Fuzzy Traffic Controller
由: Lim, Khai Teng
出版: (2003)

Software Design Patterns For Database Migration To The Cloud
由: Heidari, Hamid
出版: (2011)

Software Vulnerabilities : A Statistical And Multidimensional Analysis Approach
由: Kashani, Amir Hossein
出版: (2012)

Software Based Scalable Packet Capture Mechanism To Reduce Packet Loss
由: Alias, Syazwina
出版: (2019)

Adoption Of Open Source Software In Malaysia: A Study Of Perceptions Of IT Executives
由: Lee, Yee Tak
出版: (2005)

Measuring usability for application software using the quality in use integration measurement model
由: M Katy, Abdoasslam Hatab
出版: (2016)

A comparison of CK and Martin's package metric suites in predicting reusability in open source object-oriented software
由: Alhadi Meftah, Khaled
出版: (2016)

An Enhanced Probabilistic Neural Network For Pattern Classification
由: Chang, Roy Kwang Yang
出版: (2010)

Ontology-Based Schema Mediation and Versioning for Deep Web Integration
由: Santoso, Heru Agus
出版: (2012)

Online system identification development based on recursive weighted least square neural networks of nonlinear hammerstein and wiener models.
由: Kwad, Ayad Mahmood
出版: (2022)

Data wrangling framework on clickstream for enhancing seat sales prediction
由: Alauddin, Md
出版: (2021)

Sentiment analysis by fusing text and location features of geo-tagged tweets
由: Lim, Wei Lun
出版: (2021)

Comparison Of Pop-Up And Augmented Reality Storybooks For Children
由: Tan, Yi Shin
出版: (2015)

Improved difficulty adjustment for proof-of-work based blockchains with genetic algorithm
由: Chin, Zi Hau
出版: (2021)

Advanced Modulation Formats For High-Speed Photonic Access Networks
由: Lee, Lian Hong
出版: (2009)

A Multi-Tier Knowledge Discovery Info-Structure Using Ensemble Techniques [QA76.9.D35 S158 2007 f rb].
由: Karthigasoo, Sakthiaseelan
出版: (2007)

Feature Selection For The Fuzzy Artmap Neural Network Using A Hybrid Genetic Algorithm And Tabu Search [QA76.87. T164 2007 f rb].
由: Tang, Weng Chin
出版: (2007)

Proses Transformasi Pelajar Multimedia Interaktif Sebagai Agen Perubahan Melalui Penggunaan Teknologi Maklumat Dan Komunikasi [QA76.76.I59 Y46 2007 f rb].
由: Yeoh, Poh Choo
出版: (2007)

CPU Usage Pattern Discovery Using Suffix Tree For Computational Resource Advisory System [QA76.76.P426 I11 2006 f rb].
由: Ooi, Boon Yaik
出版: (2006)

Pengajaran Sistem Penerus Menggunakan Authorware [QA76.76.I59 M233 2004 f rb] [Microfiche 7543].
由: Mohd Gani, Abdul Majid
出版: (2004)

A Multi-Agent Model And Architecture For Multi-Modal Knowledge Assistance And Capitalization [QA76.76.I58 Z17 2004 f rb].
由: Hashmi, Zafar Iqbal
出版: (2004)

A selective approach for energy-aware video content adaptation decision-taking engine in android based smartphone
由: Abd Rahim, Mohd Hilmi Izwan
出版: (2019)

Bayesian random forests for high-dimensional classification and regression with complete and incomplete microarray data
由: Oyebayo, Olaniran Ridwan
出版: (2018)

An improved framework for content and link-based web spam detection: a combined approach
由: Shahzad, Asim
出版: (2021)

Performance of maximum power point tracking by using conventional and soft computing techniques during partial shading conditions
由: Mahdi, Ammar Salah
出版: (2019)

Sense of Place in Architectural Virtual Heritage Environment
由: Abdul Ghani, Izham
出版: (2016)

Web content adaptation for mobile devices using tree-based algorithms
由: Anam, Rajibul
出版: (2012)

An IP-based seamless handover communication architecture for high speed mobile host
由: Hassan, Md. Mahedi
出版: (2011)

Design preferences for touch screens in museum galleries
由: Ting, Katharine Zhen Ling
出版: (2015)

Transforming Data-Centric XML Into Relational Databases Using Node-Based And Path-Based Approaches
由: Mohd Tarmizi Song, Emyliana
出版: (2020)

Modelling a Knowledge Base Using Object-Oriented Approach for Virtual Learning Environment
由: Mohd Fairuz Mohd Yusof,
出版: (2004)

A Game Theoretical Frawework For Multimedia Learning
由: Ang, Chee Siang
出版: (2004)

Neural Network Based Lossless Data Compression Schemes For Telemetry Data
由: N. Rajasvaran, R.Logeswaran
出版: (2000)

Novel Algorithms And Artificial Neural Network Techniques For Optimal Operation And Control Of Electrical Distribution Networks
由: Mohammad Abul Kashem,
出版: (2000)

Evaluating The Use Of An Interactive Multimedia Module For Music History Among Students
由: Lim, Mei Ling
出版: (2009)

Neural Network Based Lossless Data Compression Schemes For Telemetry Data
由: N. Rajasvaran, R.Logeswaran
出版: (2000)

Novel Algorithms And Artificial Neural Network Techniques For Optimal Operation And Control Of Electrical Distribution Networks
由: Abul Kashem, Mohammad
出版: (2000)

Direct Memory Loading Of An Operating System Through Preboot Execution In A Homogenous Computing Environment
由: Nair, Remesh Seth
出版: (2009)

Challenge Of Developing And Implementing Interactive Multimedia Courseware From 2D Animation To 3D Animation
由: Xuan, Liu
出版: (2009)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group