In VDM-SL, the types clause is the appropriate place to define new ______________.

• A) operations
• B) libraries
• C) functions
• D) types

A compound proposition that is always TRUE and contain only T in their evaluation is called….

• A) Tautologies
• B) Contradictions
• C) Contingency
• D) Proposition

Sometimes it is useful to have a function that returns the last element in a ________________.

• A) specification
• B) program
• C) sequence
• D) set

A subrange returns the set of all numbers from the ____________ to the last number inclusive.

• A) second
• B) first
• C) third
• D) fourth

The ______________ of j and k is the set that contains all the elements that belong to j but do not belong to k.

• A) union
• B) intersection
• C) complement
• D) difference

Subranges used when a set of _____________ integers is required

• A) long
• B) double
• C) continuous
• D) short

Individual fields of ___________ objects are selected (read) by using dot ‘.’ operator.

• A) direct
• B) software
• C) indirect
• D) composite

Each track in a disk divided into a number of ______________.

• A) jumps
• B) signals
• C) sectors
• D) tracks

The ______________ operator checks whether or not a particular element is present in a particular set.

• A) subset
• B) membership
• C) cardinality
• D) assignment

mu (μ) function returns ____________ composite object(s) from another but with one or more fields changed.

• A) two
• B) one
• C) four
• D) three

A ____________ is an unordered collection of objects in which repetition is not significant.

• A) set
• B) sequence
• C) formula
• D) function

A disk is divided into a number of ____________.

• A) statements
• B) signals
• C) tracks
• D) jumps

The _____________ of two sets, j and k returns a set that contains all the elements of the set j and all the elements of the set k.

• A) difference
• B) intersection
• C) complement
• D) union

We can define a sequence by ______________.

• A) comprehension
• B) parameter
• C) sentence
• D) variable

A sequence is an ordered collection of ______________.

• A) variables
• B) operators
• C) quantifiers
• D) objects

The elements of a sequence are numbered, starting from _______________, from left to right.

• A) 3
• B) 0
• C) 2
• D) 1

______________ are identified by a unique process identification number (pid).

• A) Processes
• B) Parameters
• C) Programs
• D) Disk tracks

The ______________ of two sets j and k returns a set that contains all the elements that are common to both j and k.

• A) difference
• B) union
• C) complement
• D) intersection

The ______________ operator gives us the length of the sequence.

• A) elems
• B) seq
• C) height
• D) len

The _____________ operator of VDM-SL (card) returns the number of elements in a given set.

• A) subset
• B) membership
• C) assignment
• D) cardinality