Esempio: elevazione a potenza
Per elevare un numero x alla potenza y ci basta sapere che nelle librerie del C (che carichiamo automaticamente col comando g++) c'č una funzione che fa questo lavoro: pow.
Per usarla dobbiamo sapere quali informazioni passarle (precondizioni), che cosa ci restituirā (postcondizioni), e di che tipo siano gli oggetti scambiati (informazione fornita dal prototipo)
pow accetta due argomenti di tipo double, x e y, e restituisce un double, x alla y. Il suo prototipo č
double pow(double x, double y);