【摘 要】
：
软件体系结构由不同的视图组成,每个视图包含不同的体系结构关注点.在软件工程领域中,如何对这些视图进行比对和合并是一项非常重要的研究工作.然而,目前视图比对的主要研究
【机 构】
：
北京大学信息科学技术学院软件研究所,高可信软件技术教育部重点实验室北京大学
【基金项目】
：
国家自然科学基金（60821003）,国家重点基础研究发展计划（973）（2009CB320703）
论文部分内容阅读
软件体系结构由不同的视图组成,每个视图包含不同的体系结构关注点.在软件工程领域中,如何对这些视图进行比对和合并是一项非常重要的研究工作.然而,目前视图比对的主要研究都着眼于视图元素之间的比对,因而并不能有效地发现视图之间的隐含冲突.主要原因是由于不同视图背后隐含着不同的关注点,而关注点之间的冲突并不能显式地在视图中表现出来,因此仅作视图元素比对不能发现这种隐含冲突.针对该问题,提出了一种基于编档的体系结构视图隐含冲突检测方法.在该方法中,通过对设计方法进行建模来捕获体系结构关注点和视图之间的关联关系;以软
其他文献
高职院校人才培养目标是培养高技能的应用型人才,工学结合培养模式是高职院校的办学方针.高职院校图书馆要根据工学结合人才培养模式的特征和要求,制定适合本院文献资源建设
<正>对话,是我们小学英语教材中最常见的语言表现形式。今年的"杏坛杯"小学英语赛课,就分别选择了不同年段的对话教学课,集中展现了全省各地参赛青年教师的思考与实践。其中,
中职学生的就业对其本人与学校都影响重大。但是有的学生由于没有做好充分的就业准备，难以适应职场生活，影响了个人的发展。本人就中职学生不适应职场的原因与如何培养学生的就
南京市江浦实验小学始创于1903年（清光绪二十九年），开新学制之先河，已有百余年历史。1997年被确定为省级实验小学。
新生儿寒冷损伤综合征是新生儿期由受寒等多种原因引起的,以体温不升、皮肤冷凉、反应低下、多器官功能损伤为特征的临床综合征,严重者出现皮肤和皮下脂肪变硬和水肿,此时又
“悟”即理解、明白、觉醒。学生学习的过程就是“悟”的过程。就数学学习而言，学生的知识技能、思想方法、思维训练、活动经验更多需要学生通过自己动手实践、自主探索、合作交流，经历观察、实验、猜测、验证、推理、计算、证明等活动过程来“悟”得。因此笔者以为教与学的过程就是教师如何组织引导学生主动积极去“悟”的过程，最终学生悟得真理，悟得真知，悟得能力，“悟”入佳境。根据小学生的年龄特点、认知水平和教材内容目
目前,现代信息技术在教学中的应用已成为一个热点问题。单就小学数学课堂教学来说,信息技术的使用依然存在误区。如何走出这些误区?可以从以下几个方面着手:切忌为使用信息技
教学过程是师生交往，积极互动，共同发展的过程。在这个过程中，师生分享彼此的思考、经验和知识，交流彼此的情感、体验和观念，师生在互动中生成，在生成中发展，这就是共生效应。实践证明，巧用共生思想可以促进语文课堂学与教关系的和谐建构。 一、共生教学的内涵 共生，即共同生存、共同生活、共同发展。共生教学就是追求师生之间、生生之间互相激活与共生共长。共生关系的形成需要同时满足以下基本条件：第一，交往性。
铁力市位于黑龙江省北部，辖四镇三乡．76个行政村．全市总人口362789人．其中农业人口66781人．2004年铁力市被省政府确定为新型农村合作医疗试点市。截止2005年底参合人数达52204人．占
定量刻画是以一个特定的同类量对现实的量进行量化的过程。在进行数学研究时往往需要先对客观事物进行定量刻画。如何有效地培养和发展学生的定量刻画能力？笔者认为要从多“点”着力。 1.关注起始点，感知定量刻画的重要性。 在数学教学中，一般第一次感知的内容，往往需要教师在教学中放大其内蕴的核心价值。在小学教学的数学计量单位中，学生最早接触的，也是最基本的就是长度单位。因此，长度单位的学习需要给学生种下定