Tehnike za razvoj programske opreme, v katerem dve ali več, funkcionalno enako variante programa razvijajo iz iste specifikacije različnih programerji in programiranja skupin z namenom zagotavljanja odkrivanje napak, povečana zanesljivost, dodatne dokumentacije, ali zmanjša verjetnost, da bo programiranje ali prevajalnik napake vplivajo na končne rezultate.