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
Answer:A
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