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

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



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

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

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

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

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

Як поєднуються 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

Нитребич Оксана Олександрівна

кандидат технічних наук
 

Освіта

  • 19.03.2015 р. – захист кандидатської дисертації “Моделі та методи оцінювання надійності програмного забезпечення з урахування його архітектури” за спеціальністю 01.05.03 «математичне та програмне забезпечення обчислювальних машин і систем» у Національному університеті «Львівська політехніка»;
  • 12.2011 – 11.2014 рр. – Національний університет «Львівська політехніка», аспірантура;
  • 09.2005 – 06.2010 рр. – Львівський національний університет ім. Івана Франка, факультет прикладної математики, магістр прикладної математики та викладач інформатики.

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

  • 12.2011 – дотепер – асистент кафедри програмного забезпечення;
  • 02.2011 – 12.2011 – стажист-дослідник по ДБ темі;
  • 09.2010 – 02.2011 – вчитель інформатики СЗШ № 55 м. Львів.


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

  • Тестування
  • Надійність програмного забезпечення

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

Публікації у фахових виданнях
  1. Serdyuk P. Development of software usage model for domain-oriented testing based on syntax and lexical analysis of program source / P. Serdyuk, O. Nytrebych // Electrotechnic and computer systems. – 2015. – V. 95, N. 19. – P. 248-252.
  2. Fedasyuk D. Variable state-based software usage model / D. Fedasyuk, V. Yakovyna, P. Serdyuk, О. Nytrebych // Econtechmod: an international quarterly journal on economics in technology, new technologies and modelling processes. – 2014. – V. 3, N. 2. – P. 15–20.
  3. Yakovyna V. Software reliability assessment using high-order Markov chains / V. Yakovyna, D. Fedasyuk, O. Nytrebych, I. Parfenyuk, V. Matselyukh // International Journal of Engineering Science Invention. – 2014. – V. 3, N. 7. – P. 1–6.
  4. Федасюк Д. В. Метод побудови сценаріїв тестування програмного забезпечення на основі аналізу його змінних / Д. В. Федасюк, В. С. Яковина, П. В. Сердюк, О. О. Нитребич // Інформаційні технології та комп’ютерна інженерія. – Вінниця, 2014. – № 2 (30). – С. 50–58.
  5. Яковина В. Використання марковських ланцюгів вищого порядку в задачах моделювання надійності програмного забезпечення / В. Яковина, П. Сердюк, О. Нитребич, Д. Федасюк // Комп’ютерні науки та інформаційні технології: Вісник Національного університету «Львівська політехніка». – Львів : Видавництво Національного університету "Львівська політехніка", 2013. – № 771. – С. 209–213.
  6. Яковина В. С. Аналіз використання інформаційних критеріїв у моделях оцінки надійності програмного забезпечення / В. С. Яковина, Д. В. Федасюк, О. О. Нитребич // Нові рішення в сучасних технологіях: Вісник Національного технічного університету «ХПІ». Збірник наукових праць. – Харків, 2014. – № 26 (1069). – С. 108–115.
  7. Яковина В. Використання інформаційного критерію АКАІКЕ в задачах моделювання надійності програмного забезпечення / В. Яковина, О. Нитребич, Д. Федасюк // Комп’ютерні науки та інформаційні технології: Вісник Національного університету «Львівська політехніка». – Львів : Видавництво Національного університету "Львівська політехніка", 2012. – № 732. – C. 190–192.
  8. Гавриш В. Моделювання температурних режимів у плоских елементах мікроелектронних пристроїв із наскрізними чужорідними включеннями / Гавриш В., Нитребич О. // Вісник Нац. ун-ту “Львівська політехніка”: 30 Комп’ютерні науки та інформаційні технології. – 2012. – № 732. – C. 185-189.
  9. Гавриш В. Моделювання теплового стану в елементах мікроелектронних пристроїв із наскрізними чужорідними включеннями / Гавриш В., Нитребич О. // Вісник Нац. ун-ту “Львівська політехніка”: Комп’ютерні науки та інформаційні технології. – 2011. – № 719.– C. 144-148.
Тези міжнародних та всеукраїнських конференцій
  1. Fedasyuk D. Algorithm for automated test scenario construction / D. Fedasyuk, V. Yakovyna, P. Serdyuk, O. Nytrebych // Proc. of the Xth Intern. Conf. on Perspective Technologies and Methods in MEMS Design (MEMSTECH’2014), June 22–24, 2014. – Lviv, 2014. – P. 60–62.
  2. Yakovyna V. Markov chain dynamic representation model for reliability testing / V. Yakovyna, P. Serdyuk, O. Nytrebych // Proc. of the XIIth Intern. Conf. on the Experience of Designing and Application of CAD Systems in Microelectronics (CADSM’2013), February 19–23, 2013. – Polyana, 2013. – P. 384–386.
  3. Yakovyna V. Representation of higher order Markov process through equivalent first order Markov process / V. Yakovyna, O. Nytrebych, D. Fedasyuk // Proc. of the VIth Intern. Conf. of Young Scientists «Computer Science and Engineering 2013» (CSE’2013), November 21–23, 2013. – Lviv, 2013. – Р. 216–217.
  4. Yakovyna V. Modified high-order software reliability Gokhale model / V. Yakovyna, O. Nytrebych, D. Fedasyuk // Proc. of the VIIth Intern. Scientific and Technical Conference (CSIT’2012), November 20–24, 2012. – Lviv, 2012. – P. 194–196.
  5. Yakovyna V. On using AIC in software reliability modeling / V. Yakovyna, D. Fedasyuk, O. Nytrebych // Proc. of the VIIIth Intern. Conf. on Perspective Technologies and Methods in MEMS Design (MEMSTECH’2012), April 18–21, 2012. – Polyana, 2012. – P. 93–95.
  6. Yakovyna V. Review of architecture-based software reliability models / V. Yakovyna, O. Nytrebych // Proc. of the VIth Intern. Scientific and Technical Conference on Computer Science and Information Technologies (CSIT’2011), November 16–19, 2011. – Lviv, 2011. – P. 194–196.
  7. Fedasyuk D. Software for Visualization of Reliability Model Technical Reservation System Graph of States and Transitions / Fedasyuk D., Seniv M., Nytrebych O. // Proc. of the the IХth Intern. Conf. on Perspective Technologies and Methods in MEMS Design (MEMSTECH’2013), 2013. – Polyana, 2013. – P. 123–125.
Навчально-методичні розробки
  1. Множини: Методичні вказівки до виконання практичної роботи із дисципліни “Комп’ютерна дискретна математика” для студентів базового напряму “Програмна інженерія” / Укл.: П.В. Сердюк, О.О. Нитребич – Львів: Видавництво Національного університету “Львівська політехніка”, 2013. – 24 с.
  2. Основи логіки: Методичні вказівки до виконання практичної роботи із дисципліни “Комп’ютерна дискретна математика” для студентів базового напряму “Програмна інженерія” / Укл.: П.В. Сердюк, О.О. Нитребич – Львів: Видавництво Національного університету “Львівська політехніка”, 2013. – 28 с.
  3. Застосування логіки висловлювань в програмній інженерії: Методичні вказівки до виконання практичної роботи із дисципліни “Комп’ютерна дискретна математика” для студентів базового напряму “Програмна інженерія” / Укл.: П.В. Сердюк, О.О. Нитребич – Львів: Видавництво Національного університету “Львівська політехніка”, 2013. – 28 с.
  4. Фрактальні зображення: Методичні вказівки до виконання лабораторної роботи № 3 із дисципліни “Комп’ютерна графіка” для студентів базового напряму “Програмна інженерія” / Укл.: Є.В. Левус, О.О. Нитребич, Р.Б. Тушницький – Львів: Видавництво Національного університету “Львівська політехніка”, 2013. – 24 с.
  5. Елементи теорії похибок. Джерела похибок: Методичні вказівки до виконання практичної роботи № 1 із дисципліни “Чисельні методи” для студентів базового напряму “Програмна інженерія” / Укл.: Н.Б. Мельник, О.О. Нитребич – Львів: Видавництво Національного університету “Львівська політехніка”, 2013. – 26 с.
  6. Чисельні методи розв’язування нелінійних рівнянь: Методичні вказівки до виконання лабораторної роботи № 2 із дисципліни “Чисельні методи” для студентів базового напряму “Програмна інженерія” / Укл.: Н.Б. Мельник, О.О. Нитребич – Львів: Видавництво Національного університету “Львівська політехніка”, 2013. – 26 с.
ВНС "Львівської політехніки"
Сертифікати на електронні навчально-методичні комплекси для студентів напряму 6.050103 «Програмна інженерія» з таких дисциплін:
  1. «Чисельні методи», Е-41-163-22/2013 від 27.08.2013 р.
  2. «Комп’ютерна графіка», Е-41-163-78/2014 від 01.09.2014 р.
  3. «Дослідження операцій», Е-41-163-100/2015 від 07.04.2015 р.

Участь в НДР, грантах, розробках

Держбюджетні теми:
  • «Розробка лінійних та нелінійних математичних моделей та методів аналізу теплових режимів електронних пристроїв із неоднорідною структурою», яку виконували в період з 2009 до 2011 року.
  • «Розроблення моделей надійності, ризику та безпечності програмно-апаратних технічних систем», яку виконують з 2013 року.
  • «Розроблення моделей, методів та засобів оцінювання та аналізу надійності програмного забезпечення», яку виконували в період з 2013 до 2014 року.
Міжнародні проекти:
  • Участь у семінарах з інноваційної та підприємницької діяльності в ІТ за підтримки ТЕМПУС проекту 530576-TEMPUS-1-2012-1-TEMPUS-SMHES “Національна освітня інфраструктура удосконалення інноваційної та підприємницької діяльності ІТ-студентів”


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