Terms containing implementation specification

Subject	English	Russian
progr.	correctness of the implementation against a formally defined specification	корректность реализации в соответствии с формально определённой спецификацией (корпорации AdaCore Alex_Odeychuk)
softw.	formal verification of an implementation against a specification	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)
IT	implementation specification	техническое задание на реализацию
IT	implementation specification	спецификация реализации
IT	implementation specification	описание реализации
tech.	software implementation specification	технические требования к внедрению средств программного обеспечения
progr.	Such implementation details are rarely visible at the specification level	Такие детали реализации редко удаётся проследить на уровне спецификации (ssn)
progr.	verification of consistency between specification and implementation	проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk)