Xanmurad Abdullayev

Xanmurad Xanbala oğlu Abdullayev — texnika üzrə fəlsəfə doktoru, AMEA İdarəetmə Sistemləri İnstitutunda.

 Həyatı 
Xanmurad Xanbala oğlu Abdullayev 9 mart 1959-cu ildə Hacıqaib, Quba rayonunun anadan olmuşdur.

 Əmək və elmi fəaliyyəti 

 Elmi əsərlərin sayı 
 Çapdan çıxmış elmi əsərlərinin ümumi sayı: -
 Xaricdə çıxmış elmi əsərlərinin sayı: 12
 Respublikada çıxmış elmi əsərlərinin sayı: 10
 Konfrans məruzələri və tezislər sayı: 6
 Müəlliflik şəhadətnamələrinin və patentlərin sayı: yoxdur

 Əsas elmi nailiyyətləri 
 Proqramın idarəetmə qrafı üzərində seçilmiş yolların testləşdirilməsi üçün test nümunlərinin generasiyası üzrə effektiv alqoritmlər hazırlamışdır.
 Proqramların testdən keçirilməsi məqsədilə testlərin generasiyası üçün hazırlanmış məqsədyönlü metod
 Qeyri xətti sistem tənliklərin və bərabərsizliklərin həlli üçün evristik alqoritmlərin hazırlanması
 Proqramın idarəetmə qrafı üzərindəki yolların simvollar üzərində yerinə yetirilməsinin denatasion və operasion semantikalarının yaradılması
 Testləşdirmə sisteminin idarə olunması üçün dilin yaradılması

 Əsas 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.

 Pedaqoji fəaliyyəti 
 2000-ci ildən 2014-cü ilədək BDU-nun Tətbiqi riyaziyyat fakültəsində mühazirə və məşğələlər aparmışdır.

 Mükafatları 

 Kitablar 

 Həmçinin bax 
 Azərbaycan Milli Elmlər Akademiyası
 AMEA-nın İdarəetmə Sistemləri İnstitutu

 İstinadlar 

 Xarici keçidlər 
 Аzərbaycan Milli Elmlər Akademiyası
 İdarəetmə Sistemləri İnstitutu

Kateqoriya:Azərbaycan alimləri
Kateqoriya:Azərbaycanlı alimlər
Kateqoriya:Bakı Dövlət Universitetinin məzunları
Kateqoriya:İdarəetmə Sistemləri İnstitutunun (Azərbaycan) alimləri