машину Тьюринга, математическую модель абстрактной машины, способной выполнять последовательности рудиментарных операций, которые переводят машину из одного фиксированного состояния в другое. Главная идея заключалась в математическом доказательстве факта, что любое наперёд заданное состояние системы может быть всегда достигнуто последовательным выполнением конечного набора элементарных команд (программы) из фиксированного набора команд.
Архитектура программного обеспечения – структура программы или вычислительной системы, которая включает программные компоненты, видимые снаружи свойства этих компонентов, а также отношения между ними.
Качество программного обеспечения – весь объем признаков и характеристик программ, который относится к их способности удовлетворять установленным или предполагаемым потребностям.
Тестирование программного обеспечения – процесс исследования программного обеспечения (ПО) с целью получения информации о качестве продукта.
С точки зрения ISO 9126, качество программного обеспечения можно определить как совокупную характеристику исследуемого ПО с учётом следующих составляющих:
– Надёжность;
– Сопровождаемость;
– Практичность;
– Эффективность;
– Мобильность;
– Функциональность.
Лицензия на программное обеспечение – правовой инструмент, определяющий использование и распространение программного обеспечения, защищённого авторским правом.
Обычно лицензия на программное обеспечение разрешает получателю использовать одну или несколько копий программы, причём без лицензии такое использование рассматривалось бы в рамках закона как нарушение авторских прав издателя. По сути, лицензия выступает гарантией того, что издатель ПО, которому принадлежат исключительные права на программу, не подаст в суд на того, кто ею пользуется.
Математические и алгоритмические методы, содержащиеся в программном обеспечении, могут быть запатентованы.
По определению, предложенному Фондом за свободную информационную инфраструктуру, программный патент – это «патент на что-либо, выполняемое компьютером посредством программного обеспечения».
Защитники программных патентов считают, что они позволяют:
– защитить сложное ПО от подражателей, которым не нужно тратить время и деньги на проектные работы;
– защитить изобретателей-одиночек от крупных компаний;
– труднодоступность запатентованных технологий стимулирует создание более совершенных технологий.
Документация – печатные руководства пользователя, диалоговая (оперативная) документация и справочный текст, описывающие как пользоваться программой.
Документация состоит из отдельных документов.
Документ как элемент документации – это целевая
