Специфікація вимог до програмного забезпечення

Програмне забезпечення

Програмне забезпечення (програмні засоби) (ПЗ; англ. software) – сукупність програм системи обробки інформації і програмних документів, необхідних для експлуатації цих програм.

Виконання програмного забезпечення комп'ютером полягає у маніпулюванні інформацією та керуванні апаратними компонентами комп'ютера. Наприклад, типовим для персональних комп'ютерів є відтворення інформації на екран та отримання її з клавіатури.

Програмне забезпечення (software) та апаратне забезпечення (hardware) є дві комплементарні компоненти комп'ютера, причому межа між ними нечітка: деякі фрагменти програмного забезпечення на практиці реалізуються суто апаратурою мікросхем комп'ютера, а програмне забезпечення, в свою чергу, здатне виконувати (емулювати) функції електронної апаратури. По суті, призначення програмного забезпечення полягає в керуванні як самим комп'ютером так і іншими програмами та маніпулюванні інформацією.

Теоретичні основи

Теоретичні основи програмного забезпечення комп'ютерів базуються на теорії скінченних автоматів, і практично були закладені британським математиком Аланом Тюрингом у 1936 році. Він створив так звану машину Тюринга, математичну модель абстрактної машини, здатної виконувати послідовності рудиментарних операцій, які переводять машину з одного фіксованого стану в інший, вже заданий наперед стан. Головна ідея полягала в математичному доведенні факту, що будь-який, попередньо сформульований стан системи може бути завжди досягнутий послідовним виконанням скінченного набору елементарних команд (програми) з фіксованого алфавіту команд.

Носії

На відміну від апаратних складових hardware комп'ютера, програмне забезпечення – це інформація, яка зберігається на матеріальних носіях у вигляді файлів (дискета, HDD,CD,DVD, тощо) та може передаватись через канали зв'язку.