(1) Στην τεχνολογία λογισμικού, διαδικασίας εκφράζουν ένα πρόγραμμα υπολογιστή σε έναν προγραμματισμού language.~(2) ο μετασχηματισμός της λογική και τα δεδομένα από τις προδιαγραφές σχεδιασμού (design περιγραφές) σε μια γλώσσα προγραμματισμού.