Software Product Line- a Ruled-based Approach: Automated Validation of Software Product Lines Using First Order Logic Rules - Abdelrahman Elfaki - Books - LAP LAMBERT Academic Publishing - 9783848405619 - March 2, 2012
In case cover and title do not match, the title is correct

Abdelrahman Elfaki
Software Product Line- a Ruled-based Approach: Automated Validation of Software Product Lines Using First Order Logic Rules

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The operations that are discussed and solved in this book consist of 12 operations. There are six operations for validating domain engineering (determine SPL validity, inconsistency detection, dead feature detection, false option detection, wrong cardinality detection, and redundancy detection) and six operations for validating the configuration process (constraint consistency checking, propagation and delete cascade, interactive explanation, corrective explanation, optimization, and deadlock detection).

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 2, 2012
ISBN13 9783848405619
Publishers LAP LAMBERT Academic Publishing
Pages 188
Dimensions 150 × 11 × 225 mm   ·   281 g
Language English  

See all of Abdelrahman Elfaki ( e.g. Hardcover Book and Paperback Book )