Хорошие продукты и сервисы

Наш Поиск (введите запрос без опечаток)

Найти

Наш Поиск по гостам (введите запрос без опечаток)

Найти

Поиск

Бизнес гороскоп на текущую неделю c 22.12.2025 по 28.12.2025

Открыть гороскоп на неделю

Открыть шифр замка из трёх цифр с ограничениями

Открыть игру, играйте в нерабочее время :)

ГОСТ Р ИСО/ТО 10303-12-2000; Страница 75

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ ЭД1 4750-90 Шины пневматические для велосипедов. Технические условия Pneumatic tyres for bicycles. Specifications ГОСТ Р ИСО/МЭК 65-2000 Общие требования к органам по сертификации продукции General requirements for bodies operating product certification systems (Настоящий стандарт устанавливает общие требования, которым должна соответствовать третья сторона, действующая в системе сертификации продукции, если она хочет быть признана компетентной и надежной ) ГОСТ 7717-88 Бумага диаграммная. Технические условия Chart base paper. Specifications (Настоящий стандарт распространяется на бумагу, предназначенную для изготовления диаграммных лент и дисков, используемых в регистрирующих приборах и устройствах ввода, вывода и подготовки данных ЭВМ для нанесения технической информации чернилами, пастой или тушью)

Страница 75

Страница 1

Untitled document

ГОСТ Г ИСО/ТО 10303-12-2000

MODEL case_2;

SCНЕ

МА_

DAT A people:

m l| 11 = pcrsonjnaincd-> Adam’;

children -> ( );

SUPOF( @2»;}:

m2|2) = male} SL B0F(<6>1);|;

П111 = pcrsonl named->,Eve’;

children -> ( );

SUPOFt #2);};

fl|2| - female} SUBOF(®l););

END_SCHEMA_DATA:

END_MODEL;

Для последующего использования создается также следующий параметризованный контекст.

CONTEXT contcxt_2;

WITH people USlNG(pcrson);

PARAMETER

cl : SET OF person := ( );- - параметр но умолчанию - пустое множество

с2 : SET OF person( ):

END_PARAMETER;

SCHEMA_DATA people;

p4|l| = personjnamed-> •Adam’;

children -> cl;- - параметризуется атрибут children

SUPOF(@2);};

p4|2| = malc}SUBOF(®l);):

p5|l| =• person{namcd-> ‘Eve’;

children -> c2;

SUPOR ’8>2);};

pS(2| - IcinalcjSU BOF(6>I););

END_SCHEMA_DATA;

END_CONTEXT;

E.3 Контрольный пример 3

Этот пример создает экземпляр объект married.

TEST_CASE icsi_casc_3;

WITH people USING (married);

OBJECTIVE

PURPOSE To test the creation of an entity with attributes of tvpc entity.

END_PURPOSE:

CRITERIA One instance of a MARRIED entity shall he created.

END_CRITERIA;

END_OBJECTlVE;

REALIZATION

LOCAL- - определяем переменные требуемых типов

rcg: married;

hi : male;

w l: female;