Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП.

Из-за трудности наружного специфицирования и его значимости для разработки КП оно просит профессионалов особенного рода, которые должны разбираться в разных областях программирования, быть знакомыми со всеми фазами проектирования и тестирования КП, чтоб осознавать воздействие на их наружного проектирования. В качестве таких профессионалов можно именовать системных аналитиков, психологов (занимающихся вопросами поведения), профессионалов Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. по исследованию операций, инженеров-программистов, опытнейших профессионалов по теории программирования. Лучше привлечь к этой работе также писателя, т.к. его ориентированность на юзера является очень полезной.

Написание спецификации КП значит, сначала, подбор четких понятий, адекватных задачке. В этом проявляется тесноватая связь наружной спецификации КП с арифметикой. Круг математических Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. понятий, применяемых во наружных спецификациях, еще обширнее того, что употребляется в самих КП. Большой опыт и культура воззвания с точными понятиями, скопленные в арифметике, применимы в разработке наружных спецификаций в большей мере, чем в разработке КП.

8.1.4. Главные характеристики спецификаций

Основными качествами спецификации КП являются полнота, точность и понятность.

Полнота спецификациизначит Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП., что в ней не упущено, не позабыто ничто существенное из задачки. Понятие полноты спецификации не является формальным и не формализуемо, но интуитивно ясно, а содержательно очень принципиально.

Точность (формальность, однозначность) спецификациизначит её “математичность”. Математические объекты и понятия, нужные в спецификациях, не всегда можно отыскать готовыми в арифметике. В теоретической информатике (theoretical computer Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. science) они могут создаваться при необходимости. “Математичность” совсем не значит употребление каких-либо изощрённых сложных, очень абстрактных математических понятий: необходимо использовать только те, которые вправду необходимы, и чем они проще, тем лучше. Степень формализации очень варьируется зависимо от цели, которая ставится перед спецификацией КП, и от её возможных читателей Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП.. Спецификатор должен обладать искусством формализовать спецификацию не в основном, чем это требуется для её недвусмысленного осознания.

Понятность(ясность, читабельность) спецификации значит, что идеи, заложенные её создателем (спецификатором) в текст этой спецификации, просто и правильно воспринимаются её читателем (программером либо юзером). Понятность спецификации может быть достигнута за счёт:

· использования Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. понятий, естественных для описания начальной задачки,

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

8.1.5.Состав набора спецификаций КП

Спецификации компьютерной программки состоят обычно из нескольких частей. Важными из их являются:

Ø спецификация задачки, которую необходимо решить при помощи КП. Сюда Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. относятся формальная (математическая) постановка класса решаемых задач (см. п.3) и описание способа решения этой задачки. Способ решения задачки – это описание того, какую последовательность шагов на пути преобразования значений начальных данных в значения выходных данных (результатов решения намеченной цели) необходимо выполнить, если на каждом шаге будет решена некая подзадача начальной задачки Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. (более обычная, чем начальная задачка!), описанная собственной формальной постановкой. К примеру, способ Крамера для решения системы линейных алгебраических уравнений заключается в том, чтоб выполнить такую последовательность шагов:

1. Вычислить значение детерминанта матрицы начальной системы.

2. Проанализировать приобретенное значение:

· если оно равно нулю, констатировать, что начальная система не имеет ни 1-го Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. решения;

· если оно отлично от нуля – вычислить значения детерминантов всех матриц, которые получаются из начальной оковём подмены 1-го из её столбцов – столбцом свободных членов, и отыскать значения компонент вектора результатов оковём деления вычисленных значений детерминантов на значение детерминанта начальной матрицы.

Ø спецификация функций, которые должна делать КП (естественно, решать задачку, но Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. ещё и вводить начальные данные задачки, выводить результаты её решения, держать под контролем вводимые данных, выводить диагностические сообщения и т.п.);

Ø спецификация входных данных КП (как начальных данных задачки, так и иных входных данных КП): нужно все их перечислить и для каждого указать область допустимых значений, вид носителя (клавиатура, диск и Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. т.п.) и форму, в какой данное представлено на носителе;

Ø спецификация выходных данных КП (как результатов решения задачки, так и всех иных выходных данных, в том числе - сообщений): нужно все их перечислить и для каждого указать область вероятных значений, носитель и форму представления на носителе, также обрисовать многофункциональную связь всех выходных Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. данных с входными;

Ø сценарий диалога КП с юзером (если разрабатывается диалоговаяКП). Сценарий диалога – это описание правил общения КП с Юзером. В сценарии указываются участники диалога (обычно, “система” и “юзер”); описываются последовательности реплик, которыми они обмениваются при разных вариантах хода диалога (при разных вариантах ответов на высказывания); указываются Таким образом, специфицирование КП - это вид деятельности, результатом которой является спецификация КП. условия, при выполнении которых выбирается та либо другая последовательность реплик. Для описания сценария комфортно использовать так именуемый “граф сценария диалога”.


takim-obrazom-obrazovatelnoe-obshestvo-kak-forma-realizacii-strategii.html
takim-obrazom-patriarh-kirill-v-dannom-sluchae-vistupil-kak-propovednik-katolicheskoj-eresi-latinskogo-dogmata-o-neporochnom-zachatii-presvyatoj-bogorodici.html
takim-obrazom-predmet-konstitucionnogo-prava-ohvativaet-obekti-obuslovlennie-naznacheniem-etoj-otrasli-prava.html