Problem

1. Can performance specifications be separated from functional specifications in real-time systems? Justify your answer.

2. Give a PN control view of the production of a document.

3. Discuss the application of the principles of generality and anticipation of change to the construction of specifications.

4. Build the Text Edi tor algebra of by importing suitable other algebras. In so doing, you should notice that a problem of identifying the scope of identifiers arises in the same way as it does in programming languages. For instance, different "new" operations are needed for different sorts. The problem is not taken into consideration here, since it can be handled by applying traditional techniques-hiding rules, overloading, etc. You are invited, however, to define your own scope rules for the Larch-like language that will be defined.