formal analysis and automatic generation of user interfaces
formal analysis and automatic generation of user interfaces
formal analysis and automatic generation of user interfaces
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Figure 6. The second iterative resolution<br />
Continuing with the procedure, we designate the cell representing low-2 <strong>and</strong> low-3 in<br />
Figure 6 as incompatible (because it contains the pair medium-1 <strong>and</strong> high-1, which was<br />
already marked as incompatible). In the cell representing medium-1 <strong>and</strong> medium-2, we<br />
place the state pair (high-2, high-3). The cell representing high-1 <strong>and</strong> high-2 gets the<br />
state pair (high-1, high-2), high-2 <strong>and</strong> high-3 get (high-2, high-3), while high-1 <strong>and</strong><br />
high-3 stay empty as before.<br />
- 16 -
Change language