The three consecutive steps that should be followed when faced with a computational problem are...
To formalize means...
To specify means...