Quote: describe real-time and interactive systems by control theory

Quotation Skeleton

In this paper, we distinguish four types of … We have found that models based on those … 4.2 Terminating programs … We will describe them by describing their effect … we will have to describe the set of … 4.4 Objects (created by modules) … [described via their creating module   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: describe terminating programs by their effect on the state of a data structure

Quote: describe modules by the observable event sequences (traces) at their interface

Quote: describe objects in terms of the module that creates them

Related Topics

Topic: real time systems (14 items)
Group: requirement specification   (11 topics, 306 quotes)
Topic: requirement specification by assertion (28 items)
Topic: requirement specification by behaviors (16 items)
Topic: object-oriented design (29 items)
Topic: design documentation (43 items)