| Menyu
ITI
əməkdaslarının elmi isləri
Elektron kitabxana
Konfranslar İnformasiya Sistemi
Qəzetlər
UOT 004
|
| ITI əməkdaşlarının elmi işləri - tezis |
| Biblioqrafik təsvir | | Bayramova , T.A. Proqram Təminatının Verifikasiya və Sınaq Metodlarının Müqayisəli Təhlili / T.A. Bayramova // Proqram mühəndisliyinin aktual elmi-praktiki problemləri I respublika konfransı. - Bakı, 2017. - S. 198-202. | | Annotasiya | | İşdə proqram təminatının (PT) verifikasiya
metodlarının klassifikasiyası və qısa xülasəsi verilmiş,
verifikasiyanın məqsədləri və metodları araşdırılmışdır.
Verifikasiyanın dinamik metodlarından olan sınaq metodlarının
müqayisəli təhlili aparılmışdır.
| | | Elektron variant | | Elektron variant |
|
________
© ict.az http://ict.az/az
|
|