ISO/IEC 25436:2006
情報技術.Eiffel: 分析、設計、プログラミング言語

規格番号

ISO/IEC 25436:2006

制定年

2006

出版団体

International Organization for Standardization (ISO)

最新版

ISO/IEC 25436:2006

範囲

1.1 概要 この文書は、エッフェル言語の完全なリファレンスを提供します。 Eiffel はソフトウェア構築方法であり、ソフトウェア システムの分析、設計、実装、保守に適用できる言語です。 この国際規格は言語のみを対象としており、実装面に重点を置いています。 したがって、この文書の残りの部分での「エッフェル」という言葉は、「エッフェル言語」の略語となります。 1.2 「標準」 適切な言語定義「標準」は、マーカー「情報テキスト」と「終了」の間に表示されるテキストを除き、この文書の第 8 条に含まれています。 このようなテキストは、人間の読者に対して説明的な役割を果たすだけです。 1.3 対象となる側面 この規格では以下を規定しています。 • エッフェル文書の法的基本構成要素の形式、または言語の語彙特性。 • 語彙的に合法な構成要素、または構文特性で構成される合法的なエッフェル文書の構造。 • 構文的に合法な Eiffel テキスト、または有効性プロパティに課せられる補足的な制限。 • 有効なエッフェル テキストの実行による計算効果、または意味論的プロパティ。 • 特定の形式の自動ドキュメントを作成する機能など、Eiffel の適合実装に関するいくつかの要件。 1.4 対象外の側面 この規格では、次のことは規定されていません。 • エッフェル塔テキストの翻訳、実行、その他の処理をサポートするためにコンピューティング環境が満たさなければならない要件。 • エッフェル テキストまたはそのデータが特定のコンピューティング環境の容量を超える場合、そのテキストの意味論的特性。 • エッフェル塔のテキストをコンピューティング環境で実行できる形式に変換するメカニズム。 ・そのような変換の結果の実行を開始するメカニズム。 • Eiffel テキストを処理し、その言語のユーザーと対話するためのその他のメカニズム。 第 8 条の仕様は、Standard Eiffel という本に由来する正確な仕様要素で構成されており、これらの要素には広範な説明と例が付いています。 保持される要素は次のとおりです。 • 技術用語とエッフェル概念の定義。 情報技術 — EiffI: 分析、設計、およびプログラミング言語 • 構文仕様。 • 妥当性制約 (VVBG などのコード付き)。 および • セマンティック仕様。

ISO/IEC 25436:2006 発売履歴

• 2006 ISO/IEC 25436:2006 情報技術.Eiffel: 分析、設計、プログラミング言語