Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Кафедра "Програмне забезпечення"

Сенів Максим Михайлович, канд. техн. наук, ст. викл.

Документи:

• Аналіз використання моделі надійності програмного забезпечення з динамічним показником складності проекту протягом життєвого циклу [Текст] / М. Сенів, Д. Федасюк, Я. Чабанюк, В. Яковина // Комп'ютерні технології друкарства : зб. наук. пр. / Укр. акад. друкарства ; [редкол.: Б. В. Дурняк (відп. ред.) та ін.]. — Л. : Вид-во УАД, 2009. — С. 111-126.
• Безпека програм та даних [Текст] : електрон. навч.-метод. комплекс / уклад.: М. М. Сенів, В. С. Яковина. — 2015.
• Безпека програм та даних [Текст] : навч. посіб. для студентів баз. напряму 6.050103 "Програмна інженерія" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2015. — 256 с.
• Вплив профілактики та часового резерву на надійність технічних систем [Текст] : метод. вказівки до лаб. робіт з дисципліни "Основи теорії надійності програм. систем" для студентів спец. 121 "Інженерія програм. забезп." / М-во освіти і науки України, Нац. ун-т "Львів. політехніка" ; [уклад.: В. С. Яковина, М. М. Сенів]. — Львів : Вид-во Львів. політехніки, 2016. — 20 с.
• Дослідження основних характеристик алгоритму симетричного шифрування RC5 для побудови модуля захисту розподіленої системи теплового проектування [Текст] / В. Яковина, О. Одуха, М. Сенів, О. Білас // Вісник Національного університету "Львівська політехніка". Серія : Електроніка : [зб. наук. пр.] / М-во освіти і науки України ; відп. ред. Д. Заячук. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — С. 143-150.
• Дослідження характеристик криптостійкості алгоритму симетричного шифрування DES [Текст] / В.С. Яковина, Д.В. Федасюк, С.І. Салій, М.М. Сенів // Вісник Національного університету "Львівська політехніка". Серія : Комп'ютерні системи проектування. Теорія і практика : [зб. наук. пр.] / М-во освіти і науки України ; відп. ред. М. В. Лобур. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2008. — С. 55-62.
• Критерій достатності процесу тестування програмного забезпечення [Текст] / В. Яковина, М. Сенів, Я. Чабанюк та ін. // Вісник Національного університету "Львівська політехніка". Комп'ютерні науки та інформаційні технології : [зб. наук. пр.] / відп. ред. Ю. М. Рашкевич. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2010. — С. 346-358.
• Метод оцінювання та прогнозування надійності програмного забезпечення на основі моделі з динамічним показником величини проекту [Текст] / Максим Сенів, Віталій Яковина, Ярослав Чабанюк, Дмитро Федасюк // Комп'ютинг. — Т. : Екон. думка, 2011. — 2011. — С. 97-105.
• Мова програмування Асемблер [Текст] : метод. вказівки до лаборатор. робіт з дисципліни "Систем. програмув. та операц. системи" для баз. напряму 6.0804 "Комп'ют. науки" / Нац. ун-т "Львів. політехніка" ; [уклад.: В. В. Рицар, М. М. Сенів]. — Л. : Вид-во Нац. ун-ту "Львів. політехніка", 2008. — 48 с.
• Моделі, методи та засоби аналізу надійності програмних систем [Текст] : монографія / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2015. — 220 с.
• Побудова і дослідження моделі надійності програмного забезпечення з індексом величини проекту [Текст] / Я.М. Чабанюк, В.С. Яковина, Д.В. Федасюк та ін. // Інженерія програмного забезпечення. — К., 2010 . — 2010 . — С. 24-29.
• Побудова моделі аспекту аутентифікації та авторизації для підсистеми захисту програмних систем [Текст] / Дмитро Федасюк, Віталій Яковина, Максим Сенів, Назар Мамроха // Комп'ютерні науки та інформаційні технології : матеріали 4-ї Міжнар. наук.-техн. конф. СSIT' 2009, 15-17 жовт. 2009 р., Україна, Львів / М-во освіти і науки України, Нац. ун-т "Львів. політехніка", Ін-т комп'ютер. наук та інформ. технологій. — Львів : Вид-во ПП "Вежа і Ко", 2009. — С. 198-202.
• Порівняння швидкодії програмної реалізації алгоритмів симетричного (DES) та асиметричного (RSA) шифрування [Текст] / В. Яковина, Д. Федасюк, М. Сенів, О. Білас // Вісник Національного університету "Львівська політехніка". Комп'ютерні науки та інформаційні технології : [зб. наук. пр.] / відп. ред. Ю. М. Рашкевич. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2007. — С. 181-185.
• Програмна реалізація моделі надійності відновлювальної технічної системи з постійним навантаженим резервом [Текст] / Б.А. Мандзій, М.М. Сенів, Б.М. Куць // Східно-Європейський журнал передових технологій. — Х., 2013. — № 9 (63). — С. 18-23.
• Програмна реалізація моделі надійності технічної нерезервованої системи з обмеженою кількістю відновлень [Текст] / Б. Мандзій, М. Сенів, О. Лобуцька // Вісник Національного університету "Львівська політехніка". Серія : Електроніка : [зб. наук. пр.] / М-во освіти і науки України ; відп. ред. Д. Заячук. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — С. 338-345.
• Програмна реалізація моделі надійності технічної резервованої системи з перемикачем [Текст] / Б. Мандзій, М. Сенів, П. Гайда // Комп'ютерні технології друкарства : зб. наук. пр. / Укр. акад. друкарства. — Л., 2012. — С. 88-96.
• Програмна реалізація удосконаленої моделі надійності технічної резервованої системи з обмеженою кількістю відновлень [Текст] / Б. Мандзій, М. Сенів, В. Яковина, Н. Мосьондз // Вісник Національного університету "Львівська політехніка". Серія: Комп'ютерні науки та інформаційні технології : зб. наук. пр. / М-во освіти і науки України ; голова Ред.-видавн. ради Н. І. Чухрай ; [редкол.: Ю. М. Рашкевич (відп. ред.) та ін.]. — Львів : Вид-во Львів. політехніки, 2015. — С. 43-51.
• Програмний модуль прогнозування надійності системи теплового проектування [Текст] / Д. Федасюк, М. Сенів, П. Сердюк, Н. Мамроха // Вісник Національного університету "Львівська політехніка". Серія : Електроніка : [зб. наук. пр.] / М-во освіти і науки України ; відп. ред. Д. Заячук. — Львів : Вид-во Нац. ун-ту "Львів. політехніка", 2006. — С. 161-165.
• Програмування мовою С# [Текст] : метод. вказівки до лаборатор. робіт з дисципліни "Програм. забезп. мереж. технологій" для баз. напряму 6.050103 "Програм. інженерія" / Нац. ун-т "Львів. політехніка" ; [уклад.: Р. А. Мельник, М. М. Сенів]. — Л. : Вид-во Львів. політехніки, 2010. — 48 с.
• Програмування процесорних систем [Текст] : конспект лекцій для студентів Ін-ту комп'ютер. наук та інформ. технологій спец. 7.05010301 "Програм. забезп. систем" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2013. — 104 с.
• Розрахунок показників надійності нерезервованих технічних систем [Текст] : метод. вказівки до виконання лаб. робіт з дисципліни "Основи теорії надійності програм. систем" для студентів спец. 8.05010301 "Програм. забезпечення систем", 8.05010302 "Інженерія програм. забезпечення" / М-во освіти і науки України, Нац. ун-т "Львів. політехніка" ; [уклад.: М. М. Сенів, В. С. Яковина]. — Львів : Вид-во Львів. політехніки, 2014. — 36 с.
• Розробка методу оцінювання і прогнозування надійності програмного забезпечення з врахуванням критерію достатності процесу тестування [Текст] / М.М. Сенів, Д.В. Федасюк, В.С. Яковина // Комп'ютерні технології друкарства : зб. наук. пр. / Укр. акад. друкарства ; [редкол.: Б. В. Дурняк (відп. ред.) та ін.]. — Л. : Вид-во УАД, 2009. — С. 72-83.
• Система оцінювання та прогнозування надійності програмного забезпечення [Текст] / М.М. Сенів, Д.В. Федасюк, Ю.І. Парфенюк та ін. // Відбір і обробка інформації : міжвід. зб. наук. пр. / НАН України, Фіз.-мех. ін-т ім. Г. В. Карпенка. — Л. : Вид-во ФМІ, 2006. — С. 123-129.
• Створення динамічних веб-сторінок на клієнті [Текст] : метод. вказівки до лаборатор. робіт з дисципліни "Програмув. Інтернет-застосувань" для студ. баз. напряму 6.050103 "Програм. інженерія" / М-во освіти і науки, молоді та спорту України, Нац. ун-т "Львів. політехніка" ; [уклад.: Р. А. Мельник, М. М. Сенів]. — Л. : Вид-во Львів. політехніки, 2013. — 36 с.
• Створення динамічних веб-сторінок на сервері [Текст] : метод. вказівки до лаборатор. робіт з дисципліни "Програмув. Інтернет-застосувань" для студ. баз. напряму 6.050103 "Програм. інженерія" / М-во освіти і науки, молоді та спорту України, Нац. ун-т "Львів. політехніка" ; [уклад.: Р. А. Мельник, М. М. Сенів]. — Л. : Вид-во Львів. політехніки, 2013. — 28 с.
• Удосконалена процедура визначення кількості дефектів програмного продукту на ранніх етапах тестування [Текст] / В.С. Яковина, М.М. Сенів, І.Я. Гаранджа // Інтелектуальні системи прийняття рішень і проблеми обчислювального інтелекту ISDMCI'2012 : зб. наук. пр. міжнар. наук. конф., 27-31 трав. 2012 р., Євпаторія, Україна / Херсон. нац. техн. ун-т [ та ін.]. — Херсон, 2012. — С. 238.
• A comparative analysis of software reliability models [Текст] / M.M. Seniv, O.I. Lobutska // Перспективні технології і методи проектування МЕМС : матеріали Четвертої міжнар. конф. молодих вчен. MEMSTECH' 2008, 21-24 трав. 2008, Львів, Поляна, Україна. / Нац. ун-т "Львів. політехніка". — Л. : Вежа і Ко, 2008. — C. 88-90.
• Analysis of reliability a test model of technical system with constant redundancy and repair unit [Текст] / Bohdan Mandziy, Maksym Seniv, Bohdan Kuts // Computer science and information technologies CSIT 2012 : proc. of the VII Intern. sci. and techn. conf., Nov. 20-24, 2012, Lviv, Ukraine / Min. of Education, Science, Youth and Sports of Ukraine, Lviv Politechniс Nat. Univ. — Lviv : Publ. Lviv Politechniс, 2012. — P. 75-77.
• Analytical model reliability of non-redundant technical systems with a limited number of repairs [Текст] / Bohdan Mandziy, Maksym Seniv, Olga Lobutska // Computer science and information technologies CSIT 2012 : proc. of the VII Intern. sci. and techn. conf., Nov. 20-24, 2012, Lviv, Ukraine / Min. of Education, Science, Youth and Sports of Ukraine, Lviv Politechniс Nat. Univ. — Lviv : Publ. Lviv Politechniс, 2012. — P. 78-79.
• Architecture of software system for the software reliability evaluation and prediction [Текст] / Maksym Seniv, Dmytro Fedasyuk, Yuriy Parfenyuk та ін. // Computer science and information technologies CSIT 2010 : proc. of the V Intern. sci. and techn. conf., 14-16 Oct. 2010, Lviv, Ukraine / Lviv Polytechnic Nat. Univ. — Lviv : Publ. House Vezha & Co, 2010. — P. 164-167.
• Automation of building a graphic representation of the block diagram of technical system reliabillity and formation of its performance conditions [Текст] / Bogdan Mandziy, Maxym Seniv, Natalia Mosondz // Computer science and information technologies CSIT 2014 : proc. of the IX Intern. sci. and techn. conf., Nov. 18-22, 2014, Lviv, Ukraine / Min. of Education and Science of Ukraine, Lviv Politechniс Nat. Univ. — Lviv : Publ. Lviv Politechniс, 2014. — P. 93-94.
• Continuous stochastic optimization procedure in software reliability [Текст] / Ya. Сhabanyuk, M. Seniv, U. Khimka // Досвід розробки та застосування приладо-технологічних САПР в мікроелектроніці : матеріали XIІ Міжнар. наук.-техн. конф. CADSM 2013, 19-23 лют. 2013 р., Львів, Поляна, Україна / Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2013. — C. 56.
• Convergence of stochastic optimization procedure for adequacy criteria of testing [Текст] / Ya.M. Chabanyuk, D.V. Fedasyuk, M.M. Seniv, U.T. Khimka // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії : матеріали XI Міжнар. конф. TCSET'2012, присвяч. 60-річчю заснування радіотехн. фак. у Львів. політехніці, 21-24 лют. 2012 р., Львів - Славське, Україна / М-во освіти і науки, молоді та спорту України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2012. — С. 397.
• Dataware and software of client-server systemfor software reliability indexes evaluation [Текст] / M.M. Seniv, V.S. Yakovyna, Y.I. Parfenyuk та ін. // "Досвід розробки та застосування приладо-технологічних САПР в мікроелектроніці", X Міжнародна науково-технічна конференція (CADSM), 24-28 лют. 2009 р., Львів, Поляна, Україна : матеріали конф. / Нац. ун-т "Львів. політехніка". — Л. : Вежа і Ко, 2009. — C. 324-326.
• Information model of data representation for software reliability estimation framework [Текст] / D.V. Fedasyuk, M.M. Seniv, V.S. Yakovyna, N.M. Mamrokha // "Досвід розробки та застосування приладо-технологічних САПР в мікроелектроніці", X Міжнародна науково-технічна конференція (CADSM), 24-28 лют. 2009 р., Львів, Поляна, Україна : матеріали конф. / Нац. ун-т "Львів. політехніка". — Л. : Вежа і Ко, 2009. — C. 287-291.
• Programming visualization system of block diagram reliability for program complex ASNA-4 [Текст] / Bogdan Mandziy, Maxym Seniv, Natalia Masondz, Andriy Sambir // Досвід розробки та застосування приладо-технологічних САПР в мікроелектроніці : матеріали XIІІ Міжнар. наук.-техн. конф. CADSM 2015, 24-27 лют. 2015 р., Львів, Поляна, Україна / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2015. — C. 258-262.
• Recursive algorithm of traversing reliability block diagram for creation reliability and refuse logical expressions [Текст] / Maksym Seniv, Andrii Mykuliak, Andrij Senechko // Perspective technologies and methods in MEMS design (MEMSTECH 2016) : pros. of ХІІ-th Intern. Conf., 20-24 april 2016, Lviv - Polyana, Ukraine / Min. of Education and Science of Nkraine, Lviv Polytechnic Nat. Univ. — Lviv : Lviv Polytechnic Publ. House, 2016. — P. 199-201.
• Research the test model of reliability technical reservation system with diverter [Текст] / Bogdan Mandziy, Maxym Seniv, Petro Gaida // Computer science and information technologies CSIT 2012 : proc. of the VII Intern. sci. and techn. conf., Nov. 20-24, 2012, Lviv, Ukraine / Min. of Education, Science, Youth and Sports of Ukraine, Lviv Politechniс Nat. Univ. — Lviv : Publ. Lviv Politechniс, 2012. — P. 73-74.
• Restriction of the use of dynamic models of software reliability on the example of the model with a dynamic index of project's complexity [Текст] / M.M. Seniv, I.I. Parfeniuk, V.T. Alekseyenko // Perspective technologies and methods in MEMS Design : pros. of VIII-th Intern. conf. MEMSTECH'2012, 18-21 april 2012, Polyana, Ukraine / Min. of education and science, youth and sport of Ukraine, Lviv Polytechnic Nat. Univ. — Lviv : Publ. Lviv Polytechnic, 2012. — С. 88-90.
• Software architecture for automation of building the reliability models of complex technical systems [Текст] / Bogdan Mandziy, Dmytro Fedasyuk, Maxym Seniv // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії : матеріали XII Міжнар. конф.TCSET'2014, присвяч. 170-річчю заснування Нац. ун-ту "Львів. політехніка", 25 лют.-1 берез. 2014 р., Львів, Славське, Україна / Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2014. — С. 235-237.
• Software for visualization of reliability model technical reservation system graph of states and transitions [Текст] / Dmytro Fedasyuk, Maksym Seniv, Oksana Nytrebych // Perspective technologies and methods in MEMS design : proc. of IXth Intern. conf., 16-20 Apr. 2013, Polyana, Ukraine / Lviv Polytechn. Nat. Univ. — Lviv : Lviv Polytechnic Publ. House, 2013. — C. 123-125.
• Software implementation of improved reliability model of technical redundant system with a limited number of restorations [Текст] / Bogdan Mandziy, Maxym Seniv, Natalia Mosondz // Computer science and information technologies CSIT 2012 : proc. of the VII Intern. sci. and techn. conf., Nov. 20-24, 2012, Lviv, Ukraine / Min. of Education, Science, Youth and Sports of Ukraine, Lviv Politechniс Nat. Univ. — Lviv : Publ. Lviv Politechniс, 2012. — P. 85-86.
• The estimation and prediction model of the software reliability with the projectsize index [Текст] / Dmytro Fedasyuk, Maksym Seniv, Yaroslav Chabanyuk, Ulyana Khimka // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії : матеріали X Міжнар. конф. TCSET'2010, присвяч. 165-й річниці Нац. ун-ту "Львів. політехніка", 23-27 лют. 2010 р., Львів-Славське, Україна / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2010. — C. 209-210.
• Working hours controls methods and increasing its efficiency in the IT company [Текст] / Maksym Seniv, Andriy Sambir, Mariana Seniv // Perspective technologies and methods in MEMS design (MEMSTECH 2016) : pros. of ХІІ-th Intern. Conf., 20-24 april 2016, Lviv - Polyana, Ukraine / Min. of Education and Science of Nkraine, Lviv Polytechnic Nat. Univ. — Lviv : Lviv Polytechnic Publ. House, 2016. — P. 235-238.