标准编号：ISO/IEC 25436:2006
中文名称：信息技术 Eiffel：分析、设计及编程语言
英文名称：Information technology — Eiffel: Analysis, Design and Programming Language
发布日期：2006-12
标准范围
1.1 OverviewThis document provides the full reference for the Eiffel language.Eiffel is a method of software construction and a language applicable to the analysis, design, implementationand maintenance of software systems. This International Standard covers only the language, with an emphasison the implementation aspects. As a consequence, the word “Eiffel” in the rest of this document is an abbreviationfor “the Eiffel language”.1.2 “The Standard” The language definition proper — “the Standard” — is contained in Clause 8 of this document, with theexception of text appearing between markers Informative text and End; such text only plays an explanatoryrole for human readers.1.3 Aspects coveredThe Standard specifies:? the form of legal basic constituents of Eiffel texts, or lexical properties of the language;? the structure of legal Eiffel texts made of lexically legal constituents, or syntax properties;? supplementary restrictions imposed on syntactically legal Eiffel texts, or validity properties;? the computational effect of executing valid Eiffel texts, or semantic properties; and? some requirements on a conforming implementation of Eiffel, such as the ability to produce certainforms of automatic documentation.1.4 Aspects not coveredThe Standard does not specify:? the requirements that a computing environment must meet to support the translation, execution andother handling of Eiffel texts;? the semantic properties of an Eiffel text if it or its data exceed the capacity of a particular computingenvironment;? the mechanisms for translating Eiffel texts into a form that can be executed in a computing environment;? the mechanisms for starting the execution of the result of such a translation; and? other mechanisms for handling Eiffel texts and interacting with users of the language.The specification of Clause 8 consists of precise specification elements, originating with the book StandardEiffel where these elements are accompanied by extensive explanations and examples. The elementsretained are:? definitions of technical terms and Eiffel concepts;Information technology — EiffeI: Analysis, Design andProgramming Language? syntax specifications;? validity constraints (with their codes, such as VVBG); and? semantic specifications.
立即下载标准文件