Terms for subject General containing automated software

English	Greek
automated transformation of formal specifications into silicon/software	αυτοματοποιημένη μετατροπή τυπικών προδιαγραφών σε πυρίτιο/λογικό