Methodical Programming (Programación Metódica)

Apply rigorous, mathematically-grounded program construction and verification techniques. Programs are derived from formal specifications rather than written ad-hoc and tested afterwards. This skill is language-agnostic and applies to any programming paradigm.

Core Principles

1. Specification Before Code

Every function/procedure MUST be specified with:

• Precondition (Pre): Conditions the inputs must satisfy.
• Postcondition (Post): Relations that must hold between inputs and outputs.

function f(params) returns results
  {Pre: conditions on params}
  {Post: relations between params and results}