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

上坡

0172-603X oks de­ scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and sys

CANE

极小量

Cpap155

A/G Specifications,an assumption and a guarantee. The assumption describes properties of the environment in which the specified component is supposed to run. The guarantee characterizes the constraints that the specified component is required to fulfill whenever the specified component is executed in an environment which satisfies the assumption.

不真

混合物

ILEUM

起波澜

grandiose

NIB

Equational Specification of State Transitions,In . we pointed out that FOCUS supports several styles for writing elementary specifications. In this chapter, we have a closer look at one of these styles, namely, the .. Two other styles for elementary specifications are presented in later chapters: Chapter 10 is concerned with the graphical style, and Chapter 12 introduces the A/G style.