论文部分内容阅读
规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步，也是最重要的一步。本文给出一种寻找相关事件的静态分析方法，可以把该方法与现有的规约挖掘方法相结合，挖掘更好的规约。
面向规约挖掘的事件相关性分析
【摘 要】
：
规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步
【机 构】
：
91655部队
【出 处】
：
软件
【发表日期】
：
2014年3期
【基金项目】
：
电子信息类（60903057）
其他文献
一位个性十足，憎恶失败，崇尚道德感的CEO,会给BP（中国）带来什么样的变化？ 十一国庆日的前一天，德开瑞终于登上了北京天安门城楼观礼台。这个已经在中国生活了8年之久的“老外”，第一次来到了这个坐落在中国首都心脏地带的神圣之地。 作为英国石油（BP）公司副总裁、大中国区首席执行官，德开瑞(Gary Dirks)是中国政府2003年度50位“中国友谊奖”获奖者之一，他也因此获得了在天安门城楼上一
美国的商业银行(Commerce Bank)被誉为美国最方便的银行。它对顾客服务有着近乎狂热的投入,并因此成为美国股市中最牛的金融股之一
锂离子电池充放电过程中会产生大量的热,若不及时散热会严重影响到电池的整体性能和寿命,严重时还会引发安全问题。文中阐述锂离子电池热效应模型的研究进展,认为在对锂离子
记者:一些学者认为,上海经济繁荣和活跃是固家政策或者政府行为强力参与的结果,比如上海有包括张江在内的一批政府性公司。您对张江的这种“双面人”角色怎么看? 汤嘉峰:我个
国内高职教育偏重技术培养,主要是为社会培养理论合格,技能过硬的实用性技能人才。面向就业,关注需求,是高职教学课程体系设计的基本出发点。高职国土专业教育应着力培养学生
战略学家与未来学家的乐趣在于,他们什么都敢说。他们不由分说地将历史、政治、经济、文化、宗教糅合在一起,似乎他们已经掌握了命运的水晶球。在阿尔文·托夫勒、弗兰西
摘 要： 从医学生到医生的转变，不仅仅在技术层面，人文素质更显重要。因此，在医学教育实践中，我们以人文社科课实践教学为平台，不断深化人文情感、人文态度及人文精神教育，使学生的人文素质得到提高。 关键词： 医学生 人文社科课实践教学 人文素质 长期以来，我国医学教育一直存在重医疗技术培育轻人文素质培养的倾向，在此模式影响下成长起来的一批又一批的医务人员，由于没有受过系统的医学人文教育，导致
一间小型商业银行如何通过不断拿出贴近客户的新产品,找寻属于自己的利润空间?中国民生银行正试图确立一种新的金融业务创新模式
本文以语篇衔接和语篇功能理论为理论基础，从句法、语义、语用角度研究亚瑟·柯南·;道尔作品中“侥幸”类副词性关联词语，即luckily，fortunately，happily的语篇衔接功能