Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Software containing engine | all forms | exact matches only
EnglishRussian
audio content discovery engineсистема поиска аудиоконтента (Alex_Odeychuk)
formal proof engineсистема построения доказательства соответствия модели программы её формальной спецификации (Alex_Odeychuk)
formal proof engineсистема формальной верификации программного обеспечения (Electronic Design Alex_Odeychuk)
formal proof engineпрограммное средство построения формальных моделей программ и верификации их функциональных свойств (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
formal proof engineмеханизм формальной верификации (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
formal proof engineсредство формальной верификации кода (система построения строгого математического доказательства корректности программы по отношению к предъявляемым к ней требованиям; Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
modern server-side template engineсовременный серверный шаблонизатор (Alex_Odeychuk)
open-source full text search engineоткрытая платформа поиска полнотекстовой информации (Maria Klavdieva)
semantic code analysis engineсистема семантического анализа кода (github.blog Alex_Odeychuk)
test engineсреда тестирования (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk)
test engine for running unit testsсреда тестирования для выполнения блочных тестов (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk)
testing engineсреда тестирования (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk)
widget engineвиджет-движок (upws)

Get short URL