αρχείο Email: Περιβάλλον πλαίσιο για το στατικό και δυναμικό έλεγχο συστημάτων λογισμικού με τη βοήθεια μοντέλων