Terms for subject Programming containing implementation specification

English	Russian
correctness of the implementation against a formally defined specification	корректность реализации в соответствии с формально определённой спецификацией (корпорации AdaCore Alex_Odeychuk)
Such implementation details are rarely visible at the specification level	Такие детали реализации редко удаётся проследить на уровне спецификации (ssn)
verification of consistency between specification and implementation	проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk)