Расширение экземпляра шаблона
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
- Техэксперт: Электроэнергетика
- Техэксперт: Теплоэнергетика
РАСШИРЕНИЕ ЭКЗЕМПЛЯРА ШАБЛОНА
(template instance expansion)
Множество простых утверждений (высказываний) на языке ИСО 15926-2, полученных путем задания значений переменных в расширенной аксиоме шаблона с экземплярами сущности.
