信息技术.Eiffel:分析、设计和程序设计语言

[中文适用范围]： 1.1 概述 本文档提供了 Eiffel 语言的完整参考。Eiffel 是一种软件构建方法，也是一种适用于分析、设计、实现和维护软件系统的语言。本国际标准仅涵盖该语言，并着重于实现方面。因此，本文档其余部分的“Eiffel”一词是“Eiffel 语言”的缩写。1.2 “标准” 语言定义本身 — — “标准” — — 包含在本文档的第 8 条中，但出现在信息文本和结束标记之间的文本除外；此类文本仅对人类读者起解释作用。1.3 涵盖的方面 标准规定了： • Eiffel 文本的合法基本成分的形式，或语言的词汇属性； • 由词汇合法成分构成的合法 Eiffel 文本的结构，或语法属性； • 对语法合法的 Eiffel 文本施加的补充限制，或有效性属性； • 执行有效 Eiffel 文本的计算效果或语义属性；以及 • 对符合标准的 Eiffel 实现的某些要求，比如生成某些形式的自动文档的能力。1.4 未涵盖的方面 标准未指定： • 计算环境必须满足的支持 Eiffel 文本的翻译、执行和其他处理的要求； • 当 Eiffel 文本或其数据超出特定计算环境的容量时，其语义属性； • 将 Eiffel 文本翻译成可在计算环境中执行的形式的机制； • 启动此类翻译结果的执行机制；以及 • 处理 Eiffel 文本和与语言用户交互的其他机制。 第 8 条的规范由精确的规范元素组成，这些元素源自《标准 Eiffel》一书，其中这些元素附有大量的解释和示例。保留的元素包括： • 技术术语和 Eiffel 概念的定义；信息技术 - EiffeI：分析、设计和编程语言 • 语法规范； • 有效性约束（及其代码，例如VVBG）；以及• 语义规范。 [外文原描述]： ISO/IEC 25436:2006 provides the full reference for the Eiffel language. Eiffel is a method of software construction and a language applicable to the analysis, design, implementation and maintenance of software systems. ISO/IEC 25436:2006 covers only the language, with an emphasis on the implementation aspects.