| ITI əməkdaşlarının elmi işləri - tezis |
| Biblioqrafik təsvir | |
| Шыхалиев , Р.Г. О методах верификации и мониторинга программных продуктов / Р.Г. Шыхалиев // Proqram mühəndisliyinin aktual elmi-praktiki problemləri‖ I respublika konfransı,. - Bakı, 2017. - C. 50-53. | |
| Annotasiya | |
| В работе представлен анализ методов верификации и мониторинга программных продуктов. Рассматриваются метрики программных продуктов и основные методы верификации программных продуктов, в частности, методы статической, формальной и динамической верификации. | |
| Elektron variant | |
| Elektron variant |
________
© ict.az http://ict.az/az