Namizədlik (PhD) dissertasiyasının mövzusu:
- ixtisas şifri
- ixtisasın adı
- mövzunun ad
|
05.13.01
Sistemli analiz, idarəetmə və informasiyanın işlənməsi
Proqramların, onların idarəetmə qrafları üzərində əvvəlcədən seçilmiş yollar üzrə testləşdirilməsi
|
Elmi əsərlərinin adları |
- Метод автоматизированной генерации тестовых данных. Рига, Тез. докл. Всесоюзной Конференции «Тестирование, верификация и отладка», Том 1, 1986
- Отладка программ путем их целенаправленного тестирования и верификации. Киев. Проблемы разработки и внедрения программного обеспечения ЭВМ и систем. Киев: ИК АН УССР, 1988.
- Применение символьного выполнения для обеспечения структурной корректности программ. Киев, Тез. докл. VIII Всесоюзного семинара Параллельное программирование и высокопроизводительные структуры (Алушта, 26-30 сентября 1988 г.). ИК АН УССР. 1988.
- ТЕСТОР-ФОРТРАН-система тестирования заранее заданных путей управляющего графа программы. Киев, Журнал УСиМ, №5, 1990.
- Комбинированный подход к тестированию программ. Винница. Материалы IIМеждународной
Конференции «Интернет-Образование-Наука-2000». Винницкий ГТУ, Винница, 10-12 октября 2000.
- О безопасности передачи данных в распределенных информационных сетях. Известия НАНА сер. Физ.техн. и мат. наук, т.ХХI, «Информатика и проблемы управления», 2001, №2, с.21-25.
- Методы тестирования объектно- ориентированных программ. Баку. Вестник Бакинского Университета, Физико-математические науки, серия №1, 2002.
- Автоматизированная генерация тестовых данных для некоторого класса программных единиц. Воронеж, Прикладные проблемы образовательной деятельности. Межвузовский сборник научных трудов, выпуск 8 - Воронеж: Центрально черноземное книжное издательство, 2002.
- The Object-oriented Testing Strategy in the System TESTER-OOL. Vinnitsia, Ukraine, Proceedings of the Third International Conference Intemet-Education-Science (IES-2002). 8-12 October 2002, Vinnitsia-Ukraine. Vol.2.
- Эвристические алгоритмы целенаправленного поиска тестовых данных для проверки программ. Баку, Труды Республиканской научной конференции «Современные проблемы
информатизации, кибернетики и информационных технологий»(Баку, 28-30апреля 2003 года). Том 1, 2003.
- Эффективные алгоритмы поиска тестовых данных для проверки программ. Воронеж, Сборник трудов по итогам VIII Международной открытой научной конференции «Современные проблемы информатизации в технике и технологиях», выпуск 8, Центрально-Черноземное книжное издательство. Воронеж-2003.
- Structural Testing Principles of Object-Oriented Programs. Romania, Advances in Electrical and Computer Engineering. University of Suchava. Vol. 3, No. 9. 2003.
- Семантический подход к символьному выполнению путей в С++ программе: денотационная семантика. Воронеж. Международный сборник трудов «Системы управления и информационные технологии», Выпуск 10.-Воронеж: Изд- во «Научная книга», декабрь, 2003.
- Эффективные алгоритмы поиска тестовых данных для проверки программ. Материалы 8-й Республиканской конференции «Современные проблемы информатизации, техники и технологий», 8 издание, Воронеж, Россия, 2003.
- Символьное выполнение путей в С++ программах. Воронеж, Сб. трудов «Современные проблемы информатизации в системах моделирования, программирования и телекоммуникациях, Выпуск 9.- Воронеж: Изд-во «Научная книга», 2004.
- Sığortaolunanların fərdi uçot sistemində ikili hesabların müəyyən edilməsi metodu. “AMEA-nın xəbərləri” jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013.
- Müasir informasiya sistemlərinin yaradılması və tətbiqi prosesinin bəzi aspektləri. “AMEA-nın xəbərləri” jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013.
|