论文部分内容阅读
规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步，也是最重要的一步。本文给出一种寻找相关事件的静态分析方法，可以把该方法与现有的规约挖掘方法相结合，挖掘更好的规约。
面向规约挖掘的事件相关性分析
【摘 要】
：
规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步
【机 构】
：
91655部队
【出 处】
：
软件
【发表日期】
：
2014年3期
【基金项目】
：
电子信息类（60903057）
其他文献
一位个性十足，憎恶失败，崇尚道德感的CEO,会给BP（中国）带来什么样的变化？ 十一国庆日的前一天，德开瑞终于登上了北京天安门城楼观礼台。这个已经在中国生活了8年之久的“老外”，第一次来到了这个坐落在中国首都心脏地带的神圣之地。 作为英国石油（BP）公司副总裁、大中国区首席执行官，德开瑞(Gary Dirks)是中国政府2003年度50位“中国友谊奖”获奖者之一，他也因此获得了在天安门城楼上一
锂离子电池充放电过程中会产生大量的热,若不及时散热会严重影响到电池的整体性能和寿命,严重时还会引发安全问题。文中阐述锂离子电池热效应模型的研究进展,认为在对锂离子
摘 要： 从医学生到医生的转变，不仅仅在技术层面，人文素质更显重要。因此，在医学教育实践中，我们以人文社科课实践教学为平台，不断深化人文情感、人文态度及人文精神教育，使学生的人文素质得到提高。 关键词： 医学生 人文社科课实践教学 人文素质 长期以来，我国医学教育一直存在重医疗技术培育轻人文素质培养的倾向，在此模式影响下成长起来的一批又一批的医务人员，由于没有受过系统的医学人文教育，导致