蘑菇街网上购物系统的设计和实现外文翻译.docVIP

蘑菇街网上购物系统的设计和实现外文翻译.doc

  1. 1、本文档共7页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
蘑菇街网上购物系统的设计和实现外文翻译

完整毕业设计图纸、源代码、说明是、答辩材料,计算书、程序等,请联系Q 个人理解的自动化,编程文化,基于模型的软件工程 Title:Personal reflections on automation, programming culture, and model-based software engineering Source:Autom Softw Eng (2008) 15: 379–391 Author:Bran Selic 基于模型的软件工程(MBSE)是一种软件开发方法特点相比更传统的开发方法在一定程度上自动化。基于计算机工具在许多关键方面的发展发挥着基础性的作用,(许多MBSE语言主要是)自动或半自动验证,自动的翻译规范的相应程序等等。考虑到历史先例,比如编译技术的引入,毫无疑问,自动化的构思和实现,可以大大提高软件开发人员的生产率,提高软件的质量。因此,人们很自然地认为MBSE将迅速成为软件开发的主要形式,类似于计算机辅助设计方法。然而,不是这样。作者的长期经验MBSE及其在工业中的应用,我们这个看似矛盾的情况背后的原因 1引言 使用计算机进行软件设计和开发的历史可以追溯到早期的编程历史。这是一个非常好的配合,计算机是终端自动化机器,发展的过程主要是计算机在本身的存储,和在计算机上的处理操作,计算机自动化已经被应用于许多的方面。如执行广泛的软件开发包括编写相关的功能,程序的链接和加载,源程序的创建和编辑,版本管理,调试,验证,文档,等等。这些,也许最重要的影响是在生产率和质量的方面,是汇编。编译器的引入使得所谓的高级编程语言(也被称为第三代语言有时),它降低了编程的复杂性,使得程序员可以减少对于编程过程中遇到的相关细节的深入研究。自动化不仅仅能将一个给定的几乎不需要修改或者没有修改必要的程序通过端口传给另一个机器,更重要的是,在不同的机器之间,它还允许程序被指定使用的概念和结构,是更接近人类的理解和解决问题的更加合适的方式。 这些重要的功能的好处就是程序员很快就获取相关资料,并且在一个相对较短的时间内完成从低级到高级语言编程的转换。此外,也使编程变得更加平易近人,并增加程序员和应用程序的数量常常发现这些语言所提供的基本结构被太细粒以允许更复杂的和特定于域的概念和许多软件应用程序(即,它们的结构)的直接关系和明确的表达第二代到第三代语言的切换期间Selic et al.1994),Statemate( Harel et al.1990),或SDL(ellsberger等人。1997),已经几十年了,还没有一个类似的大规模采用更现代化的实现方法和技术。这导致了一个扩大软件设计规格之间的语义差距,这是典型的使用更高级的形式化来表示的,和它们对应的实现,这通常是采用第三代编程语言指定。虽然编程语言在过去的三年里已经有许多进展,例如抽象的基本水平(和,因此,表现力)占主导地位的实现语言在非正式翻译高级规范进入程序的过程中,错误将被引入,从而实现不准确捕捉设计意图。为了尽量减少这种缺陷的可能性,复杂的软件系统,最好是通过某种类型的迭代和增量的过程,其中的分析,设计和实施活动进行并联或周期性地跟随对方连续快速设计 利用计算机为基础的自动化,以帮助缩小语义差距这个过程似乎是一个显而易见的选择。事实上,已经有不少举措,推出这样的自动化到软件开发,从所谓的第四代语言,通过计算机辅助软件工程(CASE)工具,发展到目前基于模型的软件工程(MBSE)。。 第四代语言的主要缺点源于同样的特点,使他们成功的:它们的高度专业性。更为常见的通用编程语言相比构建高度复杂的自动化支持这种语言这通常意味着更少的成本效益更多的,往往不是工具来支持这些语言要么定制的内部工具或由少数专业的供应商(通常只有一个)提供。内部工具意味着投入开发工具支持和演化和其他资源,资源为代价的核心业务由少数厂商支持的工具通常更昂贵并且经常携带高风险,无论是卖方工具可能中断ASE工具成功计算机辅助设计(CAD)工具,其中介绍了硬件设计的高自动化水平这样的形式主义产生的任何程序代码不完整,需要程序员编写代码,即去掉任何含糊之处也缺少执行层面的细节进行补充打破了代码,它是来自该规范之间的正式联系已经有不少尝试使用一个过程来解决这个问题被称为往返工程(RTE)这个过程的最常见的结果是在高级别规范的低级代码的一对一的图形表示的逐渐恶化。大部分源于一个高级别代表价值的侵蚀4模型based4软件工程(MBSE)从某种意义上说,MBSE是一个简单的延续CASE方法。然而,,这使得MBSE更为可行。具体底层技术已取得相当大的进展。这包括,更强大的计算机硬件(性能、内存容量)以及先进的建模语言设计(使用元模型方法),自动代码生成方法和软件工具(工具框架的介绍如Eclip

文档评论(0)

317960162 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档