Teknik pengembangan perangkat lunak di mana dua atau lebih fungsional identik varian program dikembangkan dari spesifikasi yang sama oleh programer yang berbeda atau pemrograman tim dengan maksud menyediakan error detection, peningkatan kehandalan, dokumentasi tambahan, atau dikurangi probabilitas bahwa kesalahan pemrograman atau kompiler akan mempengaruhi hasil akhir.