Moderate

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

Correct answer: B. syntactic domain

  • A. semantic domain
  • B. syntactic domain
  • C. sequence
  • D. set

Explanation

The syntactic domain defines how expressions are written, and formal specification syntax is often based on set-theory notation and predicate calculus. The semantic domain instead describes what those expressions mean.

Last updated

Practise Requirements Engineering

125 free Requirements Engineering MCQs from Software Engineering, each with the correct answer and an explanation. Unlimited attempts, no account needed.

Exams that ask Software Engineering questions like this

Software Engineering is on this paper prepared for on TestUstad, and all of them draw the same bank, so this question is worth knowing for it.

Related questions