A Formal Semantics for Multi-level Staged Configuration
11
0
0
Texte intégral
Figure
![Figure 1. FD example, adapted from [5].](https://thumb-eu.123doks.com/thumbv2/123doknet/14573944.728155/3.918.154.354.105.240/figure-fd-example-adapted-from.webp)
![Figure 2. Specialisation steps, adapted from [5].](https://thumb-eu.123doks.com/thumbv2/123doknet/14573944.728155/5.918.86.817.109.211/figure-specialisation-steps-adapted-from.webp)
![Table 2. Possible inter-level links; original definition [5] left, translation to FD semantics right.](https://thumb-eu.123doks.com/thumbv2/123doknet/14573944.728155/6.918.85.813.133.562/table-possible-inter-level-original-definition-translation-semantics.webp)
+2
![Figure 6. Example of Figure 3 in [[d]] CP and [[d]] DynF D .](https://thumb-eu.123doks.com/thumbv2/123doknet/14573944.728155/9.918.118.782.107.559/figure-example-figure-d-cp-d-dynf-d.webp)
Documents relatifs
