Articles liés à 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 - Couverture souple

Elfaki, Abdelrahman

 
9783848405619: Software Product Line- A Ruled-Based Approach: Automated validation of software product lines using first order logic rules
Couverture souple
ISBN 10 : 384840561X ISBN 13 : 9783848405619
Editeur : LAP LAMBERT Academic Publishing, 2012

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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

Biographie de l'auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2012
Langue
anglais
ISBN 10 
384840561X
ISBN 13 
9783848405619
Reliure
Broché
Nombre de pages
188
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne