93.
The . . . . . . . . of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus.

95.
How does Cleanroom software engineering differs from the conventional and object-oriented views ?

97.
Which process characteristic with respect to Dependability Engineering is mentioned by the statement: "The process should be understandable by people apart from process participants"?