CS636 Quiz 1 May 2026

Quiz 1 - CS636 (Q1/10)

Question:

Correctness of entire software depends on __________________.

A. Deployment B. Testing

C. Specification

D. Maintenance Copied: 5/5/2026, 10:07:52 AM

Quiz 2 - CS636 (Q2/10)

Question:

__________________ provides mathematical modeling.

A. Testing tools

B. Petri nets

C. Wireframes D. Prototyping tools Copied: 5/5/2026, 10:08:13 AM

Quiz 3 - CS636 (Q3/10)

Question:

Formal specifications allow for feedback on system specifications at ___________________ development stages.

A. early

B. middle

C. later D. early and later Copied: 5/5/2026, 10:08:32 AM

Quiz 4 - CS636 (Q4/10)

Question:

___________________ constitute a branch of software engineering that incorporates the use of mathematics for software development.

A. Formal methods

B. Project management C. Quality assurance D. Requirement engineering Copied: 5/5/2026, 10:08:46 AM

Quiz 5 - CS636 (Q5/10)

Question:

A ___________________ model that represents the intended behavior of a program can be used as a formal specification.

A. computational

B. mathematical

C. data D. conceptual Copied: 5/5/2026, 10:09:01 AM

Quiz 6 - CS636 (Q6/10)

Question:

In petri nets, arc is denoted by ___________________.

A. rectangle

B. directed arrow

C. circle D. vertical bar Copied: 5/5/2026, 10:09:18 AM

Quiz 7 - CS636 (Q7/10)

Question:

The minimum number of states required to recognize an octal number divisible by 3 are/is

A. 3

B. 2 C. 1 D. 5 Copied: 5/5/2026, 10:09:34 AM

Quiz 8 - CS636 (Q8/10)

Question:

In petri nets, place is denoted by ___________________.

A. arrow