Спецификация - программа
Cтраница 1
Спецификация программы ( модуля) [ Program ( Module) Specification ] - точная и полная формулировка задачи, содержащая информацию, необходимая для построения алгоритма ( программы) решения этой задачи. [1]
Спецификация программы, программная спецификация [ program specification ] - точная и полная формулировка определенной задачи или гуппы задач, содержащая сведения, необходимые для построения алгоритма их решения. Содержит описание результата, который должен быть достигнут с помощью конкретной программы, а также действий, выполняемых программой для достижения конечного результата без упоминания того, как указанный результат достигается. [2]
Спецификации программ разработаны не только для пояснения концепций и методов, представленных в книге, но также для передачи некоторого опыта создания достаточно сложных программ машинной графики. Хорошо выполненные, они могут составить инструментарий полезных графических программ. [3]
Спецификация программы, программная спецификация [ program specification ] - точная и полная формулировка определенной задачи или гуппы задач, содержащая сведения, необходимые для построения алгоритма их решения. Содержит описание результата, который должен быть достигнут с помощью конкретной программы, а также действий, выполняемых программой для достижения конечного результата без упоминания того, как указанный результат достигается. [4]
Спецификации программ, разработанных на фазе их проектирования, должны точно описывать характер исходных данных и то, что должно быть получено в результате выполнения программы. Отдельные части спецификации могут отражать время выполнения, сложность вычисления, размер массивов, возможные инварианты, контролирующие ход вычислительного процесса. Один из способов спецификации заключается в описании на естественном языке того, что должно быть получено по заданным исходным данным. Однако в этом случае трудно избежать двусмысленностей при разборе их разными специалистами. Естественно, что многие ученые предлагают различные методы формальных спецификаций. [5]
Спецификации программ разработаны не только для иллюстрации концепций и технологий, представленных в книге, но также чтобы передать некоторый опыт создания достаточно сложных программ машинной графики. Хорошо реализованные, они могут составить инструментарий полезных графических программ. Результатом законченных программных проектов являются полезные программы общего назначения. [6]
Спецификацией программы является любое множество определений ( не обязательно записанных в логических терминах), которое точно задает содержимое каждого из отношений, встречающихся в программе. [7]
Здесь приведена спецификация программы генерации и манипуляции с кривыми. [8]
Здесь приведена спецификация программы генерации и манипуляции для поверхности. Она очень похожа на программу генерации и преобразований для кривой из гл. В этом случае генерация и манипуляция поверхностью является просто дополнительной функцией. [9]
Операторы блока спецификации программы PSB представляют собой набор макрокоманд языка ассемблера. [10]
При создании операционных маршрутов роль спецификации программ выполняет процедура с программным ответственным исполнителем, в которой в общей форме и описывается функционирование будущей программы, причем в совокупности с деятельностью оператора. [11]
 |
Работа прикладной программы совместно с ДЛ / 1. [12] |
По параметрам оператора ВЫПОЛНИТЬ Управляющий модуль определяет название блока спецификации программы и извлекает его из библиотеки спецификаций PSBLIB. Обрабатывая данные блока спецификации, система определяет названия баз данных, с которыми должна работать прикладная программа, извлекает из библиотеки описаний баз DBDLIB соответствующие описания и открывает связанные с ними файлы. [13]
В дальнейшем пусть А обозначает множество дизъюнктов, представляющее спецификацию программы. [14]
Выявляются неясные и двусмысленные места, после чего составляется окончательно зафиксированная спецификация программы. Эта спецификация не должна изменяться ( хотя на практике, к сожалению, она обычно не рассматривается как инвариантная) до тех пор, пока не будет представлена полностью оттестированная программа, если только пользователь не захочет покрыть расходы по разработке до внесения изменений и заплатить за начало работ над новой системой. [15]
Страницы: 1 2 3 4