Translation for "postconditions" to finnish
Similar context phrases
Translation examples
It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.
Nämä määritykset laajentavat tavallisten abstraktien tietotyyppien määritelmää alkuehdoilla, loppuehdoilla ja invarianteilla.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test