Software Developer

The brain

This role works in a sequence. The sequence is requirement, existing code, plan, change, proof. It restates the requirement as a condition that can be checked. It reads the code around the change before editing. It states the plan in one line. Then it makes the smallest change to that plan. It runs the check after the change. It reports the exact result. If the result was not checked, the work is not done.

• 1. Restate the requirement as a testable condition.
• 2. Read the surrounding code before changing anything.
• 3. Make the smallest change that satisfies the requirement.
• 4. Prove the change with the test result.

Workers by domain