この規格ページの目次
ISO 8807:1989の概要
ISO8807:1989の規格概要
閲覧 情報
Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
分散型並行情報処理システムの正式な記述に使用される正式な記述手法LOTOSの構文とセマンティクスを定義します。
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
ISO8807:1989 国際規格 情報
- ISO 国際規格番号
- ISO 8807:1989
- ISO 国際規格名称
- Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
- ISO 規格名称 日本語訳
- 情報処理システム — オープンシステム相互接続 — LOTOS — 観察行動の時間的順序付けに基づく正式な記述手法
- 発行日 (Publication date)
- 1989-02-09
- 更新日：確認日 (Update date,Date confirmed)
- 2019-01-03
- 状態 (Status)
- 公開中,公開済み (Published)
- 改訂 (Edition)
- 1
- PDF ページ数 (Number of pages)
- 142
- TC（専門委員会）:Technical Committee
- ISO/IEC JTC 1/SC 7：ソフトウェアおよびシステムエンジニアリング (Software and systems engineering)
- ICS：International Classification for Standards（国際規格分類）
- 35.060：情報技術に使用される言語 (Languages used in information technology), 35.100.01：開放型システム間相互接続一般 (Open systems interconnection in general)
- ISO 対応 JIS 規格
- ICS 対応 JIS 規格
- ICS > 35 > 35.060
ISO 8807:1989 関連規格 履歴一覧
ISO8807:1989 対応 JIS 規格一覧
ISO8807:1989 ICS 対応 JIS 規格
ICS > 35：情報技術．事務機械 > 35.060：情報技術に使用される言語
正誤表/修正 一覧 (Corrigenda/Amendments)
改訂 一覧 (Revised)
SDGs 情報
この規格は、以下の持続可能な開発目標 (Sustainable Development Goal)に貢献します。
- 目標 9 産業、イノベーション、インフラストラクチャ (Industry, Innovation and Infrastructure)
- 17の目標 : [Sustainable Development Goal]
SDGsとは、「Sustainable Development Goals（持続可能な開発目標）」の略称で、2015年9月に国連で採択された2030年までの国際開発目標。
17の目標と169のターゲット達成により、「誰一人取り残さない」社会の実現に向け、途上国及び先進国で取り組むものです。