Titlebook: Specification and Development of Interactive Systems; Focus on Streams, In Manfred Broy,Ketil Stølen Textbook 2001 Springer Science+Busines

Inscrutable

978-1-4612-6518-4Springer Science+Business Media New York 2001

Iniquitous

充足

forbid

Tremor

Introduction,arts — 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.

brachial-plexus

镶嵌细工

Examples,les. It also introduces the basic FOCUS constructs and notations for writing specifications. In this chapter we apply the basic specification formalism of FOCUS to describe components from the following three application areas.

系列

DEMUR

Memory with Locking,onsider another kind of memory, namely, a shared memory with locking, and we use the A/G style to describe it. In particular, we combine the A/G style with the state transition tables and diagrams introduced in Chapter 10.

LINE