The noun programming by contract is uncountable.
The plural form of programming by contract is also programming by contract.