The result of such a refinement process is an executable algorithm, which is either formulated in a programming language, or in an executable subset of the specification language at hand.
Το αποτέλεσμα μιας τέτοιας διαδικασίας εκλέπτυνσης είναι ένας εκτελέσιμος αλγόριθμος, ο οποίος μπορεί να διατυπωθεί είτε σε μια γλώσσα προγραμματισμού, είτε στο εκτελέσιμο υποσύνολο της γλώσσας προδιαγραφής που ήδη χρησιμοποιείται.