1.

What defines the circumstances in which a particular operation is valid?(a) Contradictions(b) Post-condition(c) Vagueness(d) None of the mentionedI got this question in an online interview.My question is taken from Formal Methods of Software Engineering topic in section Advanced Software Engineering of Software Engineering

Answer»

Right choice is (d) NONE of the mentioned

Explanation: A precondition DEFINES the circumstances in which a PARTICULAR operation is valid.



Discussion

No Comment Found

Related InterviewSolutions