Pastāsti draugiem par šo preci:
Software Product Line- a Ruled-based Approach: Automated Validation of Software Product Lines Using First Order Logic Rules Abdelrahman Elfaki
Mūsu klienti saka:
Software Product Line- a Ruled-based Approach: Automated Validation of Software Product Lines Using First Order Logic Rules
Abdelrahman Elfaki
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).
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 2. marts |
| ISBN13 | 9783848405619 |
| Izdevēji | LAP LAMBERT Academic Publishing |
| Lapas | 188 |
| Izmēri | 150 × 11 × 225 mm · 281 g |
| Valoda | Angļu |
Skatīt visus Abdelrahman Elfaki ( piem., Hardcover Book un Paperback Book )