Розробка програмного забезпечення: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Bunyk (обговорення | внесок) м Відкинуто редагування 176.122.115.227 (обговорення) до зробленого 176.8.90.198 Мітка: Відкіт |
м Ступені порівняння прикметників Мітки: Візуальний редактор Редагування з мобільного пристрою Редагування через мобільну версію |
||
Рядок 28:
[[Інформатика]] як наукова дисципліна пропонує і використовує на базі методів структурного програмування технологію надійної розробки програмного забезпечення, використовуючи тестування програм та їх верифікацію на основі методів доказового програмування для систематичного аналізу правильності [[Алгоритм|алгоритмів]] і розробки програм без алгоритмічних помилок.
Дана [[Методологія науки|методологія]] спрямована на вирішення завдань на ЕОМ, аналогічної технології розробки алгоритмів і програм, використовуваної на олімпіадах з програмування вітчизняними студентами та програмістами з використанням тестування і структурного псевдокоду для документування програм в корпорації IBM з 70-х років.
Методологія структурного проектування програмного забезпечення може використовуватися з застосуванням самих різних мов і засобів програмування для розробки надійних програм
При виборі методології розробки програмного забезпечення слід керуватися тим, що складність методології порівнянна з складністю структури програмного продукту, і невиправдана для продукту даної складності складність методології тільки невиправдано збільшить вартість розробки. Прикладом сучасної методології проектування може бути проблемно-орієнтоване проектування.
| |||