Μια τεχνική ανάπτυξης λογισμικού που συνίσταται στην απομόνωση σε συνάρτηση με σύστημα ή ένα σύνολο δεδομένων και πράξεις σχετικά με τα δεδομένα αυτά μέσα σε μια λειτουργική μονάδα και να παρέχουν ακριβείς προδιαγραφές για τη λειτουργική μονάδα.