Terms for subject Software containing implementations

English	Russian
formal verification of an implementation against a specification	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)
implementation feature	особенность реализации (Shelakhaev)
implementation of spaced repetition	программная реализация метода интервальных повторений (метод интервальных повторений – эффективный метод запоминания информации Alex_Odeychuk)
implementation service	техническая поддержка при внедрении (нового ПО или оборудования Alex Lilo)
implementation service	услуги по поддержке при внедрении (Alex Lilo)
middleware implementation	реализация связующего ПО (Alex_Odeychuk)
middleware implementation	реализация связующего программного обеспечения (Alex_Odeychuk)
module by module implementation	помодульное внедрение (ptraci)
open-source software implementation of the mainframe	программная реализация эмулятора мейнфрейма с открытым исходным кодом (Alex_Odeychuk)
production implementation	промышленная реализация (из кн.: Шпильман С. JSTL: практическое руководство для JSP-программистов Alex_Odeychuk)
reference implementation	эталонная реализация (Под этим понимается пример программного обеспечения, полностью соответствующий спецификации, либо созданный для демонстрации этой спецификации в действии. ilyakon)
software implementation assistance	техническое поддержка по внедрению нового ПО (Alex Lilo)
software implementation assistance	техническое сопровождение нового ПО (Alex Lilo)