Home > Term: automatizuota patikrinimo sistema
automatizuota patikrinimo sistema
(1) Programinės įrangos įrankis, kuris priima kaip įvesties kompiuterio programą ir jos specifikaciją ir gamina, galbūt su žmogaus žinyno, įrodymus ar disproof į program.~(2) Teisingumo vaizdas bet programinę priemonę, kuri automatizuoja dalis arba visi patikros procesą.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Paulius
- 100% positive feedback
(Vilnius, Lithuania)