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

instate

Access Control System,inciples of the equational style. They are therefore all tiny and a bit artificial. In this chapter, we apply the equational style to model an . (ACS). Thereby we demonstrate the suitability of the equational style in a more realistic context. A specification of the ACS first appeared in [BH93], fro

挥舞

Annotate

sphincter

AMBI

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.

搜寻

Refinement,pecification formalism in a system development process we need a clear understanding of what it means for a specification or a program to refine or implement another specification. In the guided tour of . we already touched on this matter. In this and the following three chapters, we introduce, expl

安慰

Behavioral Refinement,cremental system development. In the first case, the requirements specification is developed by adding requirements step by step in the order they are identified and formalized. In the second case, the requirements are captured, formalized, and implemented in a stepwise incremental manner. In both c

adhesive

Interface Refinement,educe the number of possible output histories for a given input history. Behavioral refinement does not allow output histories to be added; nor does it allow modifications to the syntactic interface. Thus, behavioral refinement characterizes what it means to reduce underspecification.

小溪

PANIC

Final Remarks,lar design and development of interactive systems, supporting timing as well as different communication and synchronization paradigms. The main emphasis is on modular abstract description of system behavior. Our approach covers many application areas including the classical tasks of software and har