Спецификация - модуль
Cтраница 1
Спецификация модуля при любом ее конкретном воплощении, содержит заголовок модуля, паспорт модуля и его функциональную схему. [1]
Спецификация модуля включает перечисление всех точек взаимодействия, через которые он связывается со своим окружением, с указанием типа канала для каждой из этих точек взаимодействия. Отделение описаний типов каналов от спецификации модуля дает возможность моделировать доступ к одному и тому же объекту через различные ТДС, представляемые каналами одного типа. [2]
В спецификации модуля задается секция ПОТОКИ ДАННЫХ, в которой перечисляются имена потоков данных и способы их использования ( доступа) данным модулем. [3]
В спецификации модуля разрешается употреблять только описания типов сущностей, спецификации перекрытия, декларации целостности ( см. разд. Спецификация модуля - единственное место, в котором допускается описывать типы сущностей. Данными модуля являются объекты экстентов объявленных типов сущностей. [4]
Единственной формой спецификации модулей в современных языках программирования является указание числа параметров и их типов и указание типа ( и числа) используемых глобальных данных. Рассмотрим более подробно вопросы, связанные с параметрами. [5]
Модель в целом представляется структурой и, следовательно, ее спецификация описывается аналогично спецификации модуля. [6]
Спецификация требований на программные модули позволяет определить структуру, функции модуля и его связь с другими модулями КП, а также общие характеристики программы. Спецификация модуля при любом ее конкретном воплощении содержит заголовок модуля, паспорт модуля и его функции. В паспорте модуля содержится описание всех входных и выходных глобальных данных, вызываемых модулей, а также включаются данные о языке программирования и ориентировочные значения времени исполнения и объем модуля. [7]
Даже если бы удалось получить программы, свободные от ошибок, то возникает необходимость учитывать некоторый переходный период, в течение которого структура системы не должна основываться на предположении об отсутствии ошибок в отдельных модулях, но должна допускать возможность неправильного функционирования компонентов ПО вследствие внутренней ошибки. Спецификации модуля должны закреплять за каждым из них функцию выполнения определенных проверок модулей, с которыми последний взаимодействует. Кроме того, если даже ПО было написано корректно, более ранние ошибки оборудования могли сделать его некорректным. [8]
В спецификации модуля разрешается употреблять только описания типов сущностей, спецификации перекрытия, декларации целостности ( см. разд. Спецификация модуля - единственное место, в котором допускается описывать типы сущностей. Данными модуля являются объекты экстентов объявленных типов сущностей. [9]
Модуль, вид которого database, называется модулем базы данных. Поскольку спецификация модуля открыта любой использующей его программе, в последней могут быть употреблены все предоставляемые языком операции над сущностями и все специфицированные подпрограммы. [10]
Спецификация модуля включает перечисление всех точек взаимодействия, через которые он связывается со своим окружением, с указанием типа канала для каждой из этих точек взаимодействия. Отделение описаний типов каналов от спецификации модуля дает возможность моделировать доступ к одному и тому же объекту через различные ТДС, представляемые каналами одного типа. [11]
 |
Тип портфеля с переменной таблицей объемом до 600 различных пакетов акций. [12] |
Вместо этого можно воспользоваться временным представлением в виде нулевого ( null) оператора или спецификации фиктивного модуля программы ( заглушки), указав ключевую фазу is separate, которая говорит о том, что тело физически располагается в отдельно компилирующейся единице. [13]
 |
Система из трех модулей. [14] |
Одним из таких методов является метод, описанный в [49] и также использующий концепцию непосредственной сцепки. Пусть заданы протокольная система, состоящая из трех модулей - М0, Мх и М2 ( рис. 5.6), я спецификации модулей М0 и Mj. [15]
Страницы: 1 2