Проверяемый текст
Старовойтов, Илья Владимирович. Разработка и исследование моделей, методов и средств оценивания процесса производства программного обеспечения (Диссертация 2003)
[стр. 74]

75 3.1.2.1.3 Tasks (* перечень задач, реализующих виды деятельности *) (task-name, (* название задачи, где все task-name е Tasknames *) List-of , (*ссылки на продукты, являющиеся входами для задачи с именем task-name, где все product-name-IN е Product-names *) List-of, (*ссылки на продукты, являющиеся выходами для задачи с именем task-name, где все product-name-OUT G Product-names *)) 3.1.2.1.4 Life-cycles (* модели ЖЦ ПС *) (LC-model-name, (* название модели ЖЦ, где все LCmodel-name £ LC-model-names *) Expression (*выражение, описывающее задаваемые моделью с именем LC-model-name управляющие связи между видами деятельности и некоторыми задачами*)) В данной работе формальное определение выражения не приводится.
Оно основано на следующей гипотезе.

Любую модель ЖЦ можно однозначно представить в виде выражения, где операнды виды деятельности, отдельные задачи или блоки, а операции последовательное выполнение, выборочное выполнение и возврат на <операнд>.

3.1.2.1.5 Work-products (* перечень рабочих продуктов, создаваемых в процессе производства *) (product-name, (* название продукта, где все product-name е Product-names *) product-type, (* тип продукта, где все product-type £ Product-types *) List-of , (*ссылки на задачи, для которых продукт с именем product-name является входным, где все task-name-IN S Task-names *) List-of, (*ссылки на задачи, для которых продукт с именем product-name является выходным, где все task-name-OUT £ Task-names *)
[стр. 49]

49 Tasks (task-name, (* название задачи, где все task-name е Task-names *) List-of , (*ссылки на продукты, являющиеся входами для задачи с именем task-name, где все product-name-IN е Productnames *) List-of, (*ссылки на продукты, являющиеся выходами для задачи с именем task-name, где все product-name-OUT е Productnames *)) (* модели ЖЦ ПС *) Life-cycles (LC-model-name, (* название модели ЖЦ, где все LC-model-namee LCmodel-names *) Expression (*выражение, описывающее задаваемые моделью с именем LCmodel-name управляющие связи между видами деятельности и некоторыми задачами*)) Примечание.
В данной работе формальное определение выражения не приводится.
Оно основано на следующей гипотезе.

Гипотеза.
Любую модель ЖЦ можно однозначно представить в виде выражения, где операнды виды деятельности, отдельные задачи или блоки, а операции последовательное выполнение, выборочное выполнение и возврат на <операнд>.

f* перечень рабочих продуктов, создаваемых в процессе производства *) Work-products (product-name, (* название продукта, где все product-name е Productnames *) product-type, (* тип продукта, где все product-type е Product-types *) List-of , (*ссылки на задачи, для которых продукт с именем product-name является входным, где все task-name-IN е Task-names *)

[Back]