Кафедра програмного забезпечення

Пошукова форма



Колектив кафедри вітає

аспіранта кафедри
Богдана Володимировича Угриновського
з днем народження!
З днем народження щиро вітаємо,
Щасливої долі й здоров’я бажаємо,
Кар'єрного росту і процвітання
І щоб збувались усі побажання!

Колектив кафедри вітає

доктора технічних наук, професора кафедри
Василя Івановича Гавриша
з днем народження!
Нехай дороги стеляться крилато, будуть чисті, рівні як струна.
І добро не оминає хату, як не оминає світ весна.
Хай малює доля з буднів свято, і дарує Вам багато літ!
Хай світла, радісна дорога щасливо стелиться в житті!

До дня освітянина

Як поєднуються 13 вересня та 1 жовтня на кафедрі програмного забезпечення?
Запитаймо викладачів кафедри, як їм вдається поєднувати викладання і роботу в ІТ-компаніях.
читати більше

Гурток Інтернету Речей (IoT) на ПЗ

На кафедрі програмного забезпечення діє гурток Інтернету Речей (IoT), в якому студенти мають змогу пройти серію навчальних курсів - "Спеціалізація з основ Інтернету Речей (ІоТ)" - An Introduction to Programming the Internet of Things (IOT) Specialization від Каліфорнійського Університету в Ірвайн, США.
Перші студенти вже отримали свої сертифікати! читати більше

Програмування вбудованих систем

На кафедрі ПЗ для студентів організовано
гурток з програмування вбудованих систем
– команда працівників і студентів кафедри ділиться власним досвідом, здобутим у процесі роботи над реальними проектами спільно з італійською компанією Dinamica Generale S.p.A, що спеціалізується на інноваційних рішеннях для агропромисловості.
більше про гурток

Співпраця із компанією Sigma Software

«Львівська політехніка» та компанія «Sigma Software» уклали договір про співробітництво щодо навчання, проходження практики, стажування та забезпечення подальшої співпраці із випускниками за напрямом підготовки «Програмна інженерія».

Читати далі
Співпраця із компанією Sigma Software

Virtual Innovation Space

Do you want to be successful in IT and realize own ideas?
Connect to Virtual Innovation Space
Check your innovative idea in IT and win good prize!

Join today!
Virtual Innovation Space

Сенів Максим Михайлович

кандидат технічних наук, доцент,
доцент кафедри програмного забезпечення,
гарант освітньо-наукової програми магістратури спеціальності ""Інженерія програмного забезпечення"

Освіта

  • з 2016 р. - вчене звання доцент кафедри програмного забезпечення Національного університету "Львівська політехніка" (наказ МОН № 160 від 25.02.2016 р.);
  • 2011 - захист кандидатської дисертації, спеціальність 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем, тема дисертації «Засоби прогнозування надійності програмного проекту із врахуванням показника його складності»
  • 1997-2002 рр. - Національний університет "Львівська політехніка", Інститут комп’ютерних наук та інформаційних технологій, кафедра програмного забезпечення, спеціальність "Програмне забезпечення автоматизованих систем", диплом спеціаліста.

Професійна діяльність

  • з 2014 р. - доцент кафедри програмного забезпечення Національного університету "Львівська політехніка";
  • 2012-2014 р. - старший викладач кафедри програмного забезпечення Національного університету "Львівська політехніка";
  • 10.2004-08.2012 рр. - асистент кафедри програмного забезпечення Національного університету "Львівська політехніка";
  • 08.2004-10.2004 рр. - інженер кафедри програмного забезпечення Національного університету "Львівська політехніка";
  • 11.2003-06.2004 рр. - заступник директора з тех. питань ПП "Альянс-А";
  • 04.2003-11.2003 рр. - інженер НВО "Термоприлад";
  • 04.2001-03.2003 рр. - майстер виробничого навчання і викладач спецтехнології у ВПУ 48;
  • 03.2002-05.2002 рр. - інженер кафедри програмного забезпечення Національного університету "Львівська політехніка".

Викладацька діяльність

  • "Методології розробки ПЗ"
  • "Теорія надійності програмних систем"
  • "Безпека програм та даних"

Наукові інтереси

  • надійність ПЗ; 
  • методології розробки ПЗ;
h-index 5.

Участь у НДР

  • з 2022 ДБ "Демодуляція"
  • 2018-19 ДБ "Зв'язок"

Стажування

  • Sigma software – 2022 р.;
  • EPAM – 2020 р. (Методи, моделі та технології гнучкої розробки програмного забезпечення; основи проектного менеджменту; соціальні навички», 108 год);
  • Лінк-Ап Студіо – 2018 р.

Наукові публікації

Публікації у фахових виданнях
  1. Seniv M. M., Kovtoniuk А. М., Yakovyna V. S. Tools for selecting a software development methodology taking into account project characteristics // Радіоелектроніка, інформатика, управління. 2022. No 2. – С. 175–188. e-ISSN 1607-3274(індексується WoS)
  2. М.М. Сенів Засіб для підбору методології розроблення програмного забезпечення з урахуванням метрик проекту. Науковий вісник НЛТУ України. 2021, т.31, №3. С.120-125. doi:/10.36930/40310318
  3. Сенів, М. М. Роїк, О. О. (2021) «Засоби розрахунку показників надійності програмного забезпечення на підставі моделей з урахуванням недосконалого відлагодження», Науковий вісник НЛТУ України, т.31, №6. C. 87-91. doi: 10.36930/40310613.
  4. Yakovyna V. S., Seniv M. M, Symets I. I., Sambir N. B.. ALGORITHMS AND SOFTWARE SUITE FOR RELIABILITY ASSESSMENT OF COMPLEX TECHNICAL SYSTEMS // Радіоелектроніка, інформатика, управління. 2020. No 4. – С. 163–177. e-ISSN 1607-3274 DOI:10.15588/1607-3274-2020-4-16 (індексується WoS)
  5. Yuriy Bobalo, Maksym Seniv, Vitaliy Yakovyna, Ivan Symets Method of Reliability Block Diagram Visualization and Automated Construction of Technical System Operability Condition // Advances in Intelligent Systems and Computing III, vol 871. Springer, Cham. P. 599-610 ISSN 2194-5357 https://doi.org/10.1007/978-3-030-01069-0_43 (індексується Scopus)
  6. В.С. Яковина, М.М. Сенів, В.В. Литвин, І.І. Симець Програмний модуль розв’язування систем диференціальних рівнянь Колмогорова-Чепмена для автоматизації надійнісного проектування. Науковий вісник НЛТУ України. 2019, т.29, №5. С.141-146. doi:/10.15421/40290528
  7. Яковина, В. С., Сенів, М. М., & Симець, І. І. (2019). Засоби автоматизованого формулювання умов працездатності складних технічних систем. Науковий вісник НЛТУ України, 29(9), С.136-141. doi:/10.36930/40290924
  8. О.С. Баловсяк, М.М. Сенів. Прогнозування часу виконання навчальних завдань за допомогою штучних нейронних мереж // Науковий вісник Чернівецького національного університету імені Юрія Федьковича. Серія: Комп’ютерні системи та компоненти. – 2016. – Т.7/2. – C. 93-98. 
Тези і матеріали конференцій
  1. M. Seniv and B. Terenchyn, "Real estate selection software with machine learning elements," 2021 IEEE 16th International Conference on Computer Sciences and Information Technologies (CSIT), 2021, pp. 305-308, doi: 10.1109/CSIT52700.2021.9648791. (індексується Scopus)
  2. V. Yakovyna, M. Seniv and I. Symets, "The Relation between Software Development Methodologies and Factors Affecting Software Reliability," 2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT), 2020, pp. 377-381, doi: 10.1109/CSIT49958.2020.9321937. (індексується Scopus)
  3. Ковтонюк А. М., Сенів М. М., Яковина В. С. Засіб вибору методології розроблення програмного забезпечення на основі багатокритеріального аналізу // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій : тези доповідей Х Міжнародної науково-практичної конференції, 07–09 жовтня 2020 р., м. Запоріжжя. – 2020. – C. 112–113.
  4. Ivan Symets, Maksym Seniv, Vitaliy Yakovyna and Yuriy Bobalo. Techniques of Automated Processing of Kolmogorov–Chapman Differential Equation System for Reliability Analysis of Technical Systems  // Proceedings of the 15th International Conference The Experience of Designing and Application of CAD Systems in Microelectronics CADSM 2019, February 26 – March 2, 2019 Polyana-Svalyava (Zakarpattya), Ukraine, P. 130-135. DOI: 10.1109 / CADSM.2019.8779271 (індексується Scopus)
  5. Yuriy Bobalo, Maksym Seniv, Ivan Symets Algorithms of automated formulation of the operability condition of complex technical systems // Perspective technologies and methods in MEMS design (MEMSTECH’2018) : pros. of ХІV-th Intern. Conf., 18-22 april 2018, Lviv - Polyana, Ukraine: ПП "Вежа і Ко". – P. 14-17.  DOI: 10.1109/MEMSTECH.2018.8365692 (індексується Scopus)
  6. Maksym Seniv, Vitaliy Yakovyna, Ivan Symets Software for visualization of reliability block diagram and automated formulation of operability conditions of technical systems// Perspective technologies and methods in MEMS design (MEMSTECH’2018) : pros. of ХІV-th Intern. Conf., 18-22 april 2018, Lviv - Polyana, Ukraine: ПП "Вежа і Ко". – P. 191-195. DOI: 10.1109 / MEMSTECH.2018.8365731 (індексується Scopus)
  7. Yuriy Bobalo, Vitaliy Yakovyna, Maksym Seniv, Ivan Symets Technique of automated construction of states and transitions graph for the analysis of technical systems reliability // Proceedings of the 13th International scientific and technnical conference CSIT-2018, 11-14 September 2018. – Lviv, Ukraine 2018. – P. 314-317. DOI  10.1109 / STC-CSIT.2018.8526698 (індексується Scopus)
  8. Sambir A., Yakovyna V., Seniv M. Recruiting software architecture using user generated data // Perspective technologies and methods in MEMS design (MEMSTECH) : proceedings of XIIIth International conference, Polyana, April 20–23, 2017 - Львів : ПП "Вежа і Ко". – C. 161 – 163. (індексується Scopus)
  9. Сенів М.М., Нитребич О.О., Симець І.І. Архітектура програмного забезпечення для автоматизації побудови моделей надійності складних технічних систем із різними типами елементів // Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI’2017)” : міжнародна наукова конференція (Залізний Порт, 22-26 травня 2017) - Херсон : ПП Вишемирський В.С.. – C. 143 – 145. 
  10. Seniv Maksym, Mykuliak Andrii, Senechko Andrij Recursive algorithm of traversing reliability block diagram for creation reliability and refuse logical expressions // Perspective technologies and methods in MEMS design (MEMSTECH’2016) : pros. of ХІІ-th Intern. Conf., 20-24 april 2016, Lviv - Polyana, Ukraine: ПП "Вежа і Ко". – P. 199-201. (індексується Scopus)
  11. Maksym Seniv, Andriy Sambir, Mariana Seniv Working Hours Controls Methods and Increasing Its Efficiency in the IT Company // Perspective technologies and methods in MEMS design (MEMSTECH’2016) : pros. of ХІІ-th Intern. Conf., 20-24 april 2016, Lviv - Polyana, Ukraine: ПП "Вежа і Ко". – P. 235 – 238. (індексується Scopus)
Методичні праці
  1. Яковина В.С., Сенів М.М., Основи теорії надійності програмних систем: навчальний посібник/ В.С. Яковина, М.М. Сенів. – Львів: Видавництво Львівської політехніки, 2020. – 248 с. (Рекомендовано Науково-методичною радою НУ «Львівська політехніка» протокол №45 від 16.10.2019 р.)
  2. Розрахунок показників надійності відновлюваних та невідновлюваних програмно-апаратних засобів. Методичні вказівки до лабораторних робіт з дисципліни «Основи теорії надійності програмних систем» для студентів другого (магістерського) рівня вищої освіти спеціальності 121 – Інженерія програмного забезпечення / Укл.: В.С. Яковина, М.М. Сенів, О.В. Муляк – Львів : Видавництво Національного університету “Львівська політехніка”, 2016. – 39 с.
  3. Розрахунок показників надійності відновлюваних та невідновлюваних програмно-апаратних засобів. Методичні вказівки до лабораторних робіт з дисципліни «Основи теорії надійності програмних систем» для студентів другого (магістерського) рівня вищої освіти спеціальності 121 – Інженерія програмного забезпечення / Укл.: В.С. Яковина, М.М. Сенів, О.В. Муляк – Львів : Видавництво Національного університету “Львівська політехніка”, 2016. – 26 с.
  4. Безпека програм та даних : навч. посіб. / М.М. Сенів, В.С. Яковина. – Львів : Видавництво Львівської політехніки, 2015. – 256 с.


Поточні міжнародні ІТ-проекти кафедри:
TEMPUS
 
Dinamica Generale
ІТ-партнери кафедри програмного забезпечення:
KindGeek ЛінкАпСтудіо DataArtN_IX Sigma SoftwareSymphony Solutions Eleks Adva-SoftSoftServeEdvantis ComarchDinamica Generale