【摘 要】
：
Under the framework of aspect oriented document driven requirements engineering,several verifying schema have been proposed for the process of modeling conc
【机 构】
：
College of computer science and technology JiLin University Changchun China
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
Under the framework of aspect oriented document driven requirements engineering,several verifying schema have been proposed for the process of modeling concerns,and an ontology based approach to verifying concerns models has been presented,a case study has been made for indicating the effectiveness of our approach.
其他文献
中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束
在日常生活中常有这种现象:在遇上倒霉的事情以后,常会有“一而再,再而三”的祸不单行的情况。有人就说这是“命中注定”,其实,这和人的心境有关。人的心境有积极和消极之分
随着医疗卫生事业的不断发展,X线机广泛地服务于基层卫生院,受检人数也愈来愈多,由此而带来的对人体健康的危害也越来越引起人们的关注。因此,搞好医用X线的卫生防护管理,探
该品种由日本国农林水产省园艺试验场安芸津支场育成，１９９７年８月通过品种审定，因其果皮鲜红而被定名为“夕红”。 该品种树势中等，树姿开张，中度直立。枝条发生稍密，发育技长，枝梢赤褐色
不管是“旧”零售,还是“新”零售,不管是走“老”路还是开“新”路抑或是改良主义,只要能够增强药店的核心竞争力,提升药店的销售额和利润率,为药店增加新的利润增长点——
【摘 要】投标工作是一项综合性的工作，涉及面广，内容多而杂，而且往往编标时间比较短，为了能够在时间短、条件有限的情况下按时、按质地编制好投标文件，在投入足够的人力、物力的同时，根据招投标工作的特点，须注意以下几条编制投标文件的注意事项。 【关键词】编制；投标文件；注意事项 一、详细阅读招标文件 招标文件主要包括投标邀请书、投标须知〔含资料表和修改表及附件（工程说明与主要工程数量）〕、合同通用
为了解决由于缺乏谓词约束表达式的建模和分析带来的BPEL中路径分析不准确问题，提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法，并在此基础上提出了BPEL可行路
李彦管自己叫兔子,这名字从一开始上网的时候就在用了,第一次和陌生人自驾去西藏,就被人称为“贪婪的兔子”:因为她觉得活着就是为了快乐,贪婪快乐是应该且必须的。
Li Yan
价格战似乎是一个很不受欢迎的字眼,无论平台还是商家都不愿提及.的确,将“价格战”拆分来看:rn一部分是“价格”,意味着竞争只能从价格维度展开,表明当下的医药O2O还处于简