a) A computer system can be decomposed into its component parts. One of the parts is input.

Identify two other component parts.

b) Formal methods are used to show a proposed solution.

i) Identify the formal methods shown.

ii) Identify another formal method that could be used to check if the password has more than eight characters.
iii) Use the formal method you identified in part b)ii) to show the same routine to check if the password has more than eight characters.

Method 1 Password checker Check for eight or more characters Check for at least one digit Method 2 START Password checker Check for at least one special character LENGTH (Password) >=8? no Accept FALSE STOP yes Accept TRUE