Інфопакет

Програмна інженерія

ДВС.2.01

Вибіркова дисципліна для ОП

Другий

2022/2023

3 Семестр

6

ПРН 17.2. Оцінювати і обирати методи і моделі розробки, впровадження, експлуатації програмних засобів та управління ними на всіх етапах життєвого циклу.

Дистанційне навчання

1. Успішне опанування курсів: формальні методи розробки програмних систем, прикладні композиційні логіки та валідація та верифікація програмних систем. 2. Знання теоретичних основ: формальних методів розробки програмних систем, валідація та верифікація програмних систем.

Мета дисципліни – засвоєння базових знань з основ інженерії програмування, оцінювання економічних показників продукту і діяльності його виконавців, керування програмними проєктами та промислове виготовлення складних програмних систем. Підготовка професіоналів, здатних ставити і розв’язувати завдання, що пов’язані з аналізом та формулюванням вимог, створенням, супроводженням та забезпеченням якості програмного забезпечення. Навчальна дисципліна “Програмна інженерія” є складовою освітньо-наукової програми підготовки фахівців за освітнім рівнем «магістр» галузі знань 12 «Інформаційні технології» за спеціальністю 122 „Комп’ютерні науки”, програми «Інформатика». Дана дисципліна є дисципліною спеціалізації «Теорія та технологія програмування» за освітньою програмою “Інформатика”. Викладається у 3 семестрі в обсязі – 180 годин. (6 кредитів ECTS), зокрема: лекції – 34 год., лабораторні – 20 год., консультації – 2 год., самостійна робота – 124 год. Завершується дисципліна іспитом в 3 семестрі.

1. Технологія програмування інформаційних систем: методи, засоби, інструменти: підручник / К.М. Лавріщева, М.С. Нікітченко, Л.Л. Омельчук. – К.: ВПЦ «Київський університет», 2015. – 367 с. 2. Abran, A. and J.W. Moore (exec. eds); P. Bourque and R. Dupuis (eds.). 2004. Guide to the Software Engineering Body of Knowledge (SWEBOK). Piscataway, NJ, USA: The Institute of Electrical and Electronic Engineers, Inc. (IEEE). P. Bourque and R.E. Fairley (eds), Guide to the Software Engineering Body of Knowledge, Version 3.0, IEEE Computer Society, 2014; Available at http://www.swebok.org. 3. European e-Competence Framework, e-CF [El. resource]. — URL: www.ecompetences.eu. 4. Computer Science Curriculum 2013: Strawman Draft. The Joint Task Force on Computing Curricula, Association for Computing Machinery, IEEE-Computer Society [El. resource]. — URL: http://ai.stanford.edu/users/sahami/CS2013/strawman-draft/cs2013-strawman.pdf.

Лекції, лабораторні заняття, самостійна робота.

Семестрове оцінювання (максимальна кількість балів): контрольна робота (тест) 1 – 15 балів / 9 балів; контрольна робота (тест) 2 – 15 балів / 9 балів; підготовка доповіді (за темами лекційних занять та самостійної роботи) – 15 балів / 9 балів; лабораторна робота (проєкт з оформленим технічним завданням) – 15 балів / 9 балів. Підсумкове оцінювання (у формі іспиту): максимальна кількість балів які можуть бути отримані студентом: 40 балів; форма проведення і види завдань: письмова робота.

Українська