Artículos relacionados a Software Product Line- A Ruled-Based Approach: Automated...

Software Product Line- A Ruled-Based Approach: Automated validation of software product lines using first order logic rules - Tapa blanda

Elfaki, Abdelrahman

 
9783848405619: Software Product Line- A Ruled-Based Approach: Automated validation of software product lines using first order logic rules

Sinopsis

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).

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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).

Biografía del autor

Currently, I am a senior lecturer at Management and Science University. I was involved in many projects and researches related to software engineering in different countries which has refined my experience in Software Engineering in both practical and academic fields. My current interest is software product lines engineering.

"Sobre este título" puede pertenecer a otra edición de este libro.