En [[informàtica]] una '''implementació''' és una realització específica d'una [[especificació (informàtica)|especificació]] tècnica o d'un [[algorisme]]. Aquesta implementació pot ser un [[programa]] informàtic]], de component de programari, una llibreria o qualsevol altre tipus de programari. Poden existir múltiples implementacions per a una especificació concreta. Per exemple una mateixa especificació pot estar implementada en diferents llenguatges de programació. Sovint les especificacions són estàndards. Per exemple, els [[navegadors web]] contenen diferents implementacions d'estàndards definits pel consorci WWW. En [[programació orientada a objectes]] les especificacions (que normalment es realitzen mitjançant interfícies) defineixen les signatures dels mètodes, serveis o funcionalitats que ha d'oferir una classe i la descripció de cada un d'aquests mètodes. La descripció de cada mètode sol contenir precodicions i postcondicions. La implementació associa un algorisme a cada una de les funcionalitat o mètodes definits en l'especificació. L'algorisme a de garantir que es compleix les precondicions i les postcondicions.
En programació orientada a objectes les especificacions (que normalment es realitzen mitjançant interfícies) defineixen les signatures dels mètodes, serveis o funcionalitats que ha d'oferir una classe i la descripció de cada un d'aquests mètodes. La descripció de cada mètode sol contenir precodicions i postcondicions.
La implementació associa un algorisme a cada una de les funcionalitat o mètodes definits en l'especificació. L'algorisme a de garantir que es compleix les precondicions i les postcondicions.