Question

Which of the following is true?

(a) A precondition is an assertion must be true at the completion of an activity

(b) A post condition is an assertion must be true at the initiation of an activity

(c) An interface specification should cover syntax, semantics, pragmatics of communication between module and its environment

(d) All of the mentioned

I had been asked this question during a job interview.

I'm obligated to ask this question of Specifying Software Architectures topic in chapter Unified Modelling Language of Software Architecture

Answer 1

The correct choice is (c) An interface specification should cover syntax, semantics, pragmatics of communication between module and its environment

For explanation I would say: The correct statement of the incorrect ones are A precondition is an assertion must be true at the initiation of an activity whereas a post condition is an assertion must be true at the completion of an activity.