资源描述：
《一篇国外软件报告的论文翻译》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、考试的RequirementsSpecificationLanguages*要求规范语言*THTseandL.Pong**钍和L.凤谢**DepartmentofComputerScience计算机科学系TheUniversityofHongKong香港的香港大学PokfulamRoad薄扶林道HongKong香港ABSTRACT摘要Weexaminethefeatureswhicharemostdesirableinrequirementsspecificationlanguages,and我们研究的特点，是最可取的规范语言的要求，thenusetheframewo
2、rktoreviewsixestablishedlanguages:PSL,SADT,EDDA,SAMM,HOSand然后使用该框架，检讨既定六个语言：PSL,SADT,EDDA,SAMM,HOS和RSL.RSL。Keywordsandphrases:Requirementsspecification,specificationlanguages,systemsdevelopment关键字和词组：要求规范，规范的语言，系统开发CRCategories:D.2.1,F.3.1,K.6.3华润分类：D.2.1，F.3.1，K.6.31.1。INTRODUCTION简介Ar
3、equirementsspecificationforaninformationsystemisimportantforseveralreasons:Itserves一个信息系统的要求规范为重要的是有几个原因：它造福asameansofcommunicationbetweentheuserandthesystemsdeveloper;itrepresentsina作为一种手段，造福开发人员和用户之间的通信系统，它代表着一个systematicfashionthecurrentstateoftherealworld,itsproblemsanditsfuturerequ
4、irements;it系统地未来的需求现状的真实世界，它的问题与它enablesthesystemsdevelopertoturnrealworldproblemsintootherformswhicharemore使系统开发商把这些其他形式的世界更真实的问题为manageableintermsofsize,complexity,humanunderstandingandcomputerprocessability;itserves加工处理的计算机上规模，复杂性，人类认识和它服务asthebasisforthedesign,implementation,testing
5、andmaintenanceofthetargetsystem.作为系统的基础上的设计，实施，测试和维护的目标。Inorder为了thatalltheobjectivesofarequirementsspecificationbemet,weneedapowerfulspecification所有的规范目标的要求得到满足，我们需要一个强大的规范language.语言。Quiteanumberofauthors(suchas[9,21,13,36,38])haveproposedindependentlythe不少的作者（如[9，21，13，36，38]提出独立的des
6、irablefeaturesofrequirementsspecificationlanguages.规范语言理想的功能要求。InSection2ofthispaper,weconsolidate在本文件第2节，我们巩固thesefeaturesandpresenttheminthecontextofanengineeringprocess.这些特点，目前他们在工程过程中的一个。Then,inSection3,weuse然后，在第3节中，我们使用theproposedfeaturesasthebasisofanexaminationofsomeoftheestabli
7、shedresearchin建立了研究，在所提出的一些特点的基础上的检验specificationlanguages.规范语言。2.2。DESIRABLEFEATURESOFAREQUIREMENTSSPECIFICATIONLANGUAGE规范语言的一个理想的功能要求Informationsystemsdevelopmentcanbeconceivedofasanengineeringprocess.信息系统的发展可以理解为一个工程过程。Agraphical一个图形representationisshowninFigure1.表示见图1。Wemus
