Project 3. Formal Methods for the Synthesis of Modular Systems with Real-Time Rule Checking. |
Ensuring Consistency Across Different System Viewpoints
Preliminary Implementation (...as of April, 2003)
Figure 2. Screendump of Home Theatre System Assembly (Source: Natasha Kositsyna, April 2003). |
Section 11-8: April, 2003. |