A codified way to make a computing system perform a desired function.