ISO/IEC 25436-2006 信息技术.Eiffel:分析、设计和程序设计语言
作者:标准资料网 时间:2024-04-29 13:36:57 浏览:8318
来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Eiffel:Analysis,DesignandProgrammingLanguage
【原文标准名称】:信息技术.Eiffel:分析、设计和程序设计语言
【标准号】:ISO/IEC25436-2006
【标准状态】:现行
【国别】:国际
【发布日期】:2006-12
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1/SC22
【标准类型】:()
【标准水平】:()
【中文主题词】:分析;应用软件;数据处理;设计;EDP;电子数据处理;Eiffel;执行;信息处理;解释;语言;程序描述;程序演示;程序;程序设计语言;语义学;软件;句法
【英文主题词】:Analysis;Applicationsoftware;Dataprocessing;Design;EDP;Eiffel;Implementation;Informationprocessing;Interpretations;Languages;Programdescription;Programpresentation;Programmes;Programminglanguages;Semantics;Software;Syntax
【摘要】:1.1OverviewThisdocumentprovidesthefullreferencefortheEiffellanguage.Eiffelisamethodofsoftwareconstructionandalanguageapplicabletotheanalysis,design,implementationandmaintenanceofsoftwaresystems.ThisInternationalStandardcoversonlythelanguage,withanemphasisontheimplementationaspects.Asaconsequence,theword“Eiffel”intherestofthisdocumentisanabbreviationfor“theEiffellanguage”.1.2“TheStandard”Thelanguagedefinitionproper—“theStandard”—iscontainedinClause8ofthisdocument,withtheexceptionoftextappearingbetweenmarkersInformativetextandEnd;suchtextonlyplaysanexplanatoryroleforhumanreaders.1.3AspectscoveredTheStandardspecifies:?theformoflegalbasicconstituentsofEiffeltexts,orlexicalpropertiesofthelanguage;?thestructureoflegalEiffeltextsmadeoflexicallylegalconstituents,orsyntaxproperties;?supplementaryrestrictionsimposedonsyntacticallylegalEiffeltexts,orvalidityproperties;?thecomputationaleffectofexecutingvalidEiffeltexts,orsemanticproperties;and?somerequirementsonaconformingimplementationofEiffel,suchastheabilitytoproducecertainformsofautomaticdocumentation.1.4AspectsnotcoveredTheStandarddoesnotspecify:?therequirementsthatacomputingenvironmentmustmeettosupportthetranslation,executionandotherhandlingofEiffeltexts;?thesemanticpropertiesofanEiffeltextifitoritsdataexceedthecapacityofaparticularcomputingenvironment;?themechanismsfortranslatingEiffeltextsintoaformthatcanbeexecutedinacomputingenvironment;?themechanismsforstartingtheexecutionoftheresultofsuchatranslation;and?othermechanismsforhandlingEiffeltextsandinteractingwithusersofthelanguage.ThespecificationofClause8consistsofprecisespecificationelements,originatingwiththebookStandardEiffelwheretheseelementsareaccompaniedbyextensiveexplanationsandexamples.Theelementsretainedare:?definitionsoftechnicaltermsandEiffelconcepts;Informationtechnology—EiffeI:Analysis,DesignandProgrammingLanguage?syntaxspecifications;?validityconstraints(withtheircodes,suchasVVBG);and?semanticspecifications.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:172P.;A4
【正文语种】:英语
【原文标准名称】:信息技术.Eiffel:分析、设计和程序设计语言
【标准号】:ISO/IEC25436-2006
【标准状态】:现行
【国别】:国际
【发布日期】:2006-12
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1/SC22
【标准类型】:()
【标准水平】:()
【中文主题词】:分析;应用软件;数据处理;设计;EDP;电子数据处理;Eiffel;执行;信息处理;解释;语言;程序描述;程序演示;程序;程序设计语言;语义学;软件;句法
【英文主题词】:Analysis;Applicationsoftware;Dataprocessing;Design;EDP;Eiffel;Implementation;Informationprocessing;Interpretations;Languages;Programdescription;Programpresentation;Programmes;Programminglanguages;Semantics;Software;Syntax
【摘要】:1.1OverviewThisdocumentprovidesthefullreferencefortheEiffellanguage.Eiffelisamethodofsoftwareconstructionandalanguageapplicabletotheanalysis,design,implementationandmaintenanceofsoftwaresystems.ThisInternationalStandardcoversonlythelanguage,withanemphasisontheimplementationaspects.Asaconsequence,theword“Eiffel”intherestofthisdocumentisanabbreviationfor“theEiffellanguage”.1.2“TheStandard”Thelanguagedefinitionproper—“theStandard”—iscontainedinClause8ofthisdocument,withtheexceptionoftextappearingbetweenmarkersInformativetextandEnd;suchtextonlyplaysanexplanatoryroleforhumanreaders.1.3AspectscoveredTheStandardspecifies:?theformoflegalbasicconstituentsofEiffeltexts,orlexicalpropertiesofthelanguage;?thestructureoflegalEiffeltextsmadeoflexicallylegalconstituents,orsyntaxproperties;?supplementaryrestrictionsimposedonsyntacticallylegalEiffeltexts,orvalidityproperties;?thecomputationaleffectofexecutingvalidEiffeltexts,orsemanticproperties;and?somerequirementsonaconformingimplementationofEiffel,suchastheabilitytoproducecertainformsofautomaticdocumentation.1.4AspectsnotcoveredTheStandarddoesnotspecify:?therequirementsthatacomputingenvironmentmustmeettosupportthetranslation,executionandotherhandlingofEiffeltexts;?thesemanticpropertiesofanEiffeltextifitoritsdataexceedthecapacityofaparticularcomputingenvironment;?themechanismsfortranslatingEiffeltextsintoaformthatcanbeexecutedinacomputingenvironment;?themechanismsforstartingtheexecutionoftheresultofsuchatranslation;and?othermechanismsforhandlingEiffeltextsandinteractingwithusersofthelanguage.ThespecificationofClause8consistsofprecisespecificationelements,originatingwiththebookStandardEiffelwheretheseelementsareaccompaniedbyextensiveexplanationsandexamples.Theelementsretainedare:?definitionsoftechnicaltermsandEiffelconcepts;Informationtechnology—EiffeI:Analysis,DesignandProgrammingLanguage?syntaxspecifications;?validityconstraints(withtheircodes,suchasVVBG);and?semanticspecifications.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:172P.;A4
【正文语种】:英语
下载地址: 点击此处下载