ISO/IEC 10746-4:1998/Amd 1:2001
Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization
Название (английский):
ISO/IEC 10746-4:1998/Amd 1:2001
Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization
- Статус документа:
- Действующий
- Формат:
- Электронный (PDF)
- Количество страниц:
- 32
- Дата публикации:
- 15 декабря 2001 г.
- Издание:
- ISO/IEC IS 10746 edition 1 version 1
- ICS:
- 35.080
Тип поставки:
Язык документа:
Срок поставки:6 раб. дн. (перевод)
Цена:57 600 ₽
Abstract
Overview
ISO/IEC 10746-4:1998/Amd 1:2001 is an international amendment standard that enhances the Reference Model for Open Distributed Processing (RM-ODP) by introducing computational formalization. Developed jointly by ISO and IEC, this amendment provides a rigorous means to formally interpret and describe the modeling concepts and computational language of the ODP framework using standardized formal specification techniques.
Похожие стандарты
Стандарты, упомянутые в описании