云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=设计演算 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

面向方面设计中干涉问题的分析工具被引量：1: 《软件学报》2016年第3期633-644,共12页陈鑫黄超张一帆梅一鸣; 国家自然科学基金(91318301;61561146394);国家重点基础研究发展计划(973)(2014CB340703);教育部高等学校博士学科点专项科研基金(20110091120058);江苏省产学研项目(BY2014126-03)~~; 干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有...; 关键词：面向方面的设计功能干涉推理验证设计演算

全选清除导出

共1页<1>