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

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

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

Similar Posts