Технологии программирования

Контроль (verification) — попытка найти ошибки, выполняя программу в тестовой или моделируемой среде.

Корректность программного обеспечения — свойство безошибочной реализации требуемого алгоритма при отсутствии таких мешающих факторов, как ошибки входных данных, ошибки операторов ЭВМ (людей), сбоев и отказов ЭВМ.

Критерий — показатель качества.

Логическая структура данных — рассмотрение структуры данных без учета ее представления в машинной памяти.

ЛПР — лицо, принимающее решение.

Метод — способ практического осуществления чего-нибудь.

Методика — совокупность методов практического выполнения чего-нибудь.

Методология (от греч. metnhodos и logos — слово, учение о методах) — система принципов и способов организации и построения теоретической и практической деятельности, а также учение об этой системе.

Методология программирования изучает методы с точки зрения основ построения. Это объединенная единым философским подходом совокупность методов, применяемых в процессе разработки программных продуктов. Любая методология создается на основе уже накопленных в предметной области эмпирических фактов и практических результатов.

Метод мозгового штурма — метод синтеза вариантов систем, использующий взаимную стимуляцию мышления в группе.

Метод морфологических таблиц — согласно данному методу, для интересующего нас объекта формируется набор отличительных признаков: наиболее характерных подсистем, свойств или функций. Затем для каждого из них определяются альтернативные варианты реализации. Комбинируя альтернативные варианты, можно получить множество различных решений. Анализируя их, выделяют предпочтительные варианты.

Метод проб и ошибок — метод синтеза вариантов систем, основанный на последовательном выдвижении и рассмотрении идей.

Метод эвристических приемов — метод синтеза вариантов систем, базирующийся на выделении базовых приемов, найденных при анализе лучших программных изделий.

Методы объекта (methods, member functions) — подпрограммы, реализующие действия (выполнение алгоритмов) в ответ на их вызов в виде переданного сообщения.

Механизм сокрытия информации — механизм, используемый для исключения возможных, но недопустимых сообщений объектам.

Множественное наследование классов — наследование, при котором каждый класс может, в принципе, порождаться от одного или сразу от нескольких родительских классов, наследуя поведение всех своих предков.

Модель — один объект или система может выступать в роли модели другого объекта или системы, если между ними установлено сходство в каком-то смысле.

Модуль — фундаментальное понятие и функциональный элемент технологии структурного программирования, подпрограмма, но оформленная в соответствии с особыми правилами.

Модуль — в технологии объектно-ориентированного программирования это файл (unit) с описаниями родственных классов.

Модульность программ — основной принцип технологии структурного программирования, характеризуется тем, что вся программа состоит из модулей.

Наследование — определение класса и затем использование его для построения иерархии классов-потомков, причем каждый потомок наследует доступ к коду и данным всех своих классов прародителей.

Научно-исследовательская работа (НИР) — самостоятельный этап, проводимый для выявления последних научных достижений с целью их использования в проекте, проверки реализуемости изделия и уточнения отдельных его характеристик.

НИР — научно-исследовательская работа.

Нисходящее проектирование — один из главных принципов технологии структурного программирования, согласно которому при разработке иерархии модулей программ выделяются первоначально модули самого верхнего уровня иерархии, а затем подчиненные модули.

Нисходящая реализация программы — в технологии структурного программирования первичная реализация группы модулей верхних уровней, которые называются ядром программы, и далее постепенно, в соответствии с планом, реализуются модули нижних уровней. Необходимые для линковки программы, недостающие модули имитируются заглушками.

Обобщение — выявление в группе классов общих свойств и вынесение их в общий базовый класс.

Объект — логическая единица, содержащая всю информацию о некотором физическом предмете или реализуемом в программе понятии, структурированная переменная типа класс, которая содержит поля данных и методы с кодом алгоритма.