| ITI əməkdaşlarının elmi işləri - tezis |
| Biblioqrafik təsvir | |
| Bayramova , T.A. Proqram təminatının verifikasiyası və validasiyası / T.A. Bayramova // Riyaziyyatın tətbiqi məsələləri və yeni informasiya texnologiyaları III respublika elmi konfransı. - Bakı, 2016. - S. 197-198. | |
| Annotasiya | |
| İşdə proqram təminatının (PT) verifikasiyası və validasiyası anlayışları, məqsədləri, metodları göstərilmişdir. Burada verifikasiya metodlarından olan ekspertiza, statik və dinamik analiz, formal, sintetik və sınaq metodları haqqında məlumat verilmişdir. | |
| Elektron variant | |
| Elektron variant |
________
© ict.az http://ict.az/az