Isbn: 9783848405619 - software product line- a ruled-based approach: automated validation of software product lines using first order logic rules (4 risultati)

Taschenbuch. Condizione: Neu. Software Product Line- A Ruled-Based Approach | Automated validation of software product lines using first order logic rules | Abdelrahman Elfaki | Taschenbuch | Englisch | LAP Lambert Academic Publishing | EAN 9783848405619 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Elfaki AbdelrahmanCurrently, 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 Softwa.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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).…