この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
2 参考文献
次の勧告および国際規格には、この本文で参照することにより、この勧告の規定を構成する規定が含まれています。国際規格。発行の時点で、示されている版は有効でした。すべての勧告と基準は改訂される可能性があり、この勧告に基づく契約の当事者 |国際規格は、以下にリストされている勧告と規格の最新版を適用する可能性を調査することをお勧めします。 IEC および ISO のメンバーは、現在有効な国際規格の登録簿を維持しています。 ITU の電気通信標準化局は、現在有効な ITU-T 勧告のリストを管理しています。
- ISO/IEC 8807:1989, 情報処理システム - オープン システム相互接続 - LOTOS - 観察行動の時間的順序付けに基づく正式な記述技法。
- ITU-T 勧告 Z.10, CCITT 仕様および記述言語 (SDL)
- ISO/IEC TR 10167:1991, 情報技術 — オープン システム相互接続 — Estelle, LOTOS, および SDL の適用に関するガイドライン。
- ISO/IEC 135681 1) 、情報技術 — 環境内のプログラミング言語およびシステム ソフトウェア インターフェイス、Z 仕様言語。
- The Z Notation, A Reference Manual, JM Spivey, International Series in Computer Science, Second Edition, Prentice-Hall International, 1992 .
- ISO/IEC 9074:1997, Information technology — Open Systems Interconnection — Estelle: 拡張状態遷移モデルに基づく正式な記述手法。
2 Normative references
The following Recommendations and International Standards contain provisions which, through reference in this text, constitute provisions of this Recommendation | International Standard. At the time of publication, the editions indicated were valid. All Recommendations and Standards are subject to revision, and parties to agreements based on this Recommendation | International Standard are encouraged to investigate the possibility of applying the most recent edition of the Recommendations and Standards listed below. Members of IEC and ISO maintain registers of currently valid International Standards. The Telecommunication Standardization Bureau of the ITU maintains a list of currently valid ITU-T Recommendations.
- ISO/IEC 8807:1989, Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour.
- ITU-T Recommendation Z.100 (1993), CCITT Specification and Description Language (SDL).
- ISO/IEC TR 10167:1991, Information technology — Open Systems Interconnection — Guidelines for the application of Estelle, LOTOS and SDL.
- ISO/IEC 135681 1) , Information technology — Programming Languages their Environments and System Software Interfaces, Z Specification language.
- The Z Notation, A Reference Manual, J.M. Spivey, International Series in Computer Science, Second Edition, Prentice-Hall International, 1992.
- ISO/IEC 9074:1997, Information technology — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model.