система за автоматична проверка

система за автоматична проверка

(1) Е софтуерен инструмент, който приема като входни компютърна програма и представяне на нейната спецификация и произвежда, евентуално с човешки помощта, доказателство или disproof от редовността на program.~(2) инструмент всеки софтуер, който автоматизира част или всички от процеса на проверка.

This is auto-generated content. You can help to improve it.

0 0

Improve it

Add an image

Part of Speech: noun
Synonym(s):
Blossary:
Industry/Domain: Computer; Software
Category: Software engineering
Organization: IEEE Computer Society
Product:
Acronym-Abbreviation:

Collect to Blossary

Other Languages:

Terms in the News

Били Морган

Sports; Snowboarding

Британски сноубордист били Морган кацна на спорта първо някога 1800 Четворна Корк. Конник, който представляваше голям Британия в зимните олимпийски игри 2014 в сочи, е в Ливинйо, Италия, когато той постига маневрата. Включва Показваш четири пъти, докато тялото също така завъртания пет пълни завъртания по оста на странично или надолу облицовка. Трик ...

Цветан Afkham

Broadcasting & receiving; News

Цветан Afkham, който е първият говорителката на Министерство на външните работи на страната, ще оглави мисия в Източна Азия, съобщи държавната информационна агенция. Не е ясно в коя страна тя ще бъде осчетоводен като назначението си все още предстои да бъдат обявени официално. Afkham ще бъде само втората жена посланик, Иран е имал. Под последния ...

Седмичен пакет

Language; Online services; Slang; Internet

"Седмичен пакет" или "Paquete Semanal", както е известeн в Куба е термин, използван от кубинците за описание на информацията, която е събрана от Интернет извън Куба и записани върху твърди дискове, които се пренасят в Куба. Седмичните пакети след това се продават на кубинци без достъп до интернет, което им позволява да получат информация, само няколко дни - а ...

Азиатски инфраструктура инвестиционна банка (AIIB)

Banking; Investment banking

Азиатската банка за инвестиции на инфраструктура (AIIB) е международна финансова институция, създадена, за да отговори на необходимостта в Азия за развитието на инфраструктурата. Според Азиатската банка за развитие, Азия се нуждае от 800 милиарда щатски долара всяка година за пътища, пристанища, централи или други инфраструктурни проекти преди 2020 г. ...

Спартан

Online services; Internet

"Спартан" е кодовото име на новия браузър на Microsoft Windows 10, който ще замести Microsoft Windows Internet Explorer. Новият браузър ще бъде изградена от земята и незачитане на всякакви кода от платформата на IE. Има нов представяне машина, която е построена, за да бъдат съвместими с как интернет е написана днес. Името "Спартан" ...

Featured Terms

Hristo Jurić

0
Terms
0
Blossaries
0
Followers

Industry/Domain: Dairy products Category: Cream products

разбита сметана

Крем, който е бил пребит от миксер, разбиват, вилица или камшик, докато това е лек и пухкав. Сметана Whipped е често подсладени и понякога ориентирано ...