Translation of "program refinement" into Spanish

refinamiento, refinamiento de programas are the top translations of "program refinement" into Spanish.

program refinement

The verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program.

+ Add

English-Spanish dictionary

  • refinamiento

    noun

    Transformación verificable de una especificación formal abstracta (de alto nivel) en un programa ejecutable concreto (de bajo nivel).

  • refinamiento de programas

    Transformación verificable de una especificación formal abstracta (de alto nivel) en un programa ejecutable concreto (de bajo nivel).

  • Show algorithmically generated translations

Automatic translations of "program refinement" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "program refinement" into Spanish in sentences, translation memory