U prvom koraku treba definisati moguće ulazne vrednosti i očekivane rezultate rada programa. Drugim rečima, treba formulisati preduslov i pauslov, tj. preciznu specifikaciju.
Kako je zadatak ovog programa da izvrši neopadajuće sortiranje niza elemenata, to je preduslov
{X je niz dimenzije n, n ≥ 0}
a pauslov
{X[0] ≤ X[1] ≤ ... ≤ X[n-1]}.
Dakle, specifikacija programa je:
{X je niz dimenzije n, n ≥ 0} -> {X[0] ≤ X[1] ≤ ... ≤ X[n-1]}
Sledeći korak je projektovanje i realizacija rešenja, tj. konstruisanje algoritma koji rešava ovaj problem.
Naredna: Pseudokod programa Gore: Selection sort Prethodna: Selection sort Sadržaj