Un programari desenvolupament tècnica que consisteix en una funció de sistema o un conjunt de dades i les operacions d'aquestes dades dins d'un mòdul d'aïllament i proporcionar les especificacions precisos per al mòdul.