ISO/IEC 25436-2006 信息技术.Eiffel:分析、设计和程序设计语言

sigh007

                   【英文标准名称】:     Information technology - Eiffel: Analysis, Design and Programming Language            【原文标准名称】:     信息技术.Eiffel:分析、设计和程序设计语言            【标准号】:     ISO/IEC 25436-2006            【标准状态】:     现行            【国别】:     国际            【发布日期】:     2006-12    【实施或试行日期】: 【发布单位】: 国际标准化组织(IX-ISO)【起草单位】: ISO/IEC JTC 1/SC 22【标准类型】: ()【标准水平】: ()【中文主题词】: 分析;应用软件;数据处理;设计;EDP;电子数据处理;Eiffel;执行;信息处理;解释;语言;程序描述;程序演示;程序;程序设计语言;语义学;软件;句法【英文主题词】: Analysis;Application software;Data processing;Design;EDP;Eiffel;Implementation;Information processing;Interpretations;Languagesrogram descriptionrogram presentationrogrammesrogramming languages;Semantics;Software;Syntax【摘要】: 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.【中国标准分类号】: L74【国际标准分类号】: 35_060【页数】: 172P.;A4【正文语种】: 英语