"Конструювання ПЗ – створення ПЗ з конструкцій (блоків, операторів,
функцій) і його перевірка методами верифікації і тестування. До інструментів
конструювання ПЗ віднесені мови конструювання, програмні методи й
інструментальні системи (компілятори, СКБД, генератори звітів, системи
керування версіями, конфігурацією, тестуванням й ін.). До формальних засобів
опису процесу конструювання ПЗ, взаємозв'язків між людиною і комп'ютером з
урахуванням середовища оточення віднесені структурні діаграми Джексона."

(Лавріщева К.М. ПРОГРАМНА ІНЖЕНЕРІЯ.–К.– 2008.–319 с.)

ЛЕКЦІЇ

Лекція 1 pdf

Лекція 2,3 pdf

До лекцій 1-3. Конспект лекцій html

Лекція 4 pdf

Лекція 5 pdf

ЛАБОРАТОРНІ РОБОТИ

ЛІТЕРАТУРА

Конструирование ПО, метафоры, предварительные требования