Text this: Ανάλυση και καθορισμός προδιαγραφών γιά κατανεμημένα συστήματα