Terms for subject General containing Software Specification

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