 |
Terms for subject Software containing средство построения | all forms | exact matches only | in specified order only
| Russian | English |
| программное средство построения формальных моделей программ и верификации их функциональных свойств | formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
| средства конечного пользователя для выполнения запросов, построения отчётов и анализа данных | end-user query, reporting and analysis (Alex_Odeychuk) |
| средства конечного пользователя для выполнения запросов, построения отчётов и анализа данных | QRA (сокр. от "end-user query, reporting and analysis" Alex_Odeychuk) |
| средства построения хранилищ данных | data warehousing (Alex_Odeychuk) |