Procedural Models: Pseudo-code

Example: Check project project plan

check_plan (report)

if report (date_time) > due_date_time then error (too_late)

if report (client) = none then error (no_client)

if report (team) < min_team or > max_team

then error (bad_team)

if error() = none

then comments = read_report (report)

return (comments (text), comments (grade))

else return error()