In modern technology we find interactive systems in many different forms and variations. Such systems may consist of mechanical parts, of electronic parts — called hardware, and of programs — called software. The programs are executed on the hardware. Typically, interactive systems consist of a set of components cooperating and exchanging information through interaction. In most cases, the interaction among the different components is rather sophisticated.
KeywordsInteractive System Specification Language Predicate Logic Logical Formula Specification Style
Unable to display preview. Download preview PDF.