论文部分内容阅读
在软件演化过程研究中,对任务功能进行分解,利用分解树来存储分解结果,提出了一种算法,使分解树可以自动转换为对任务功能的形式化描述语句,从而提高了软件演化过程建模的效率和规范性．
一种分解树到形式化代码片断的转换算法
【摘 要】
：
在软件演化过程研究中,对任务功能进行分解,利用分解树来存储分解结果,提出了一种算法,使分解树可以自动转换为对任务功能的形式化描述语句,从而提高了软件演化过程建模的效
【机 构】
：
云南大学信息学院,云南大学软件学院,云南大学信息学院云南昆明650091,云南昆明650091
【出 处】
：
云南大学学报：自然科学版
【发表日期】
：
2006年S2期
【基金项目】
：
国家自然科学基金资助项目(60463002),云南省教育厅科研基金重点资助项目(04Z290D)
其他文献
主要介绍了药物工程研究生教育,认为要针对学生特质实行分类培养、个性化培养.
高职院校培养面向建设、管理、服务、生产一线的高素质技术技能型人才,实践教学在技术技能型人才培养中的作用至关重要。对此,以泛教育理论为指导,探索构建“三向引领、三级
研究了二元对称循环矩阵的逆,并在已有结论的基础上进一步推导且给出了另一类二元对称循环矩阵逆矩阵的表达形式.
群G的一个元素g称为G的检验元素,如果G的每一个保持g不变的自同态都是G的自同构.本文讨论了群的直积的检验元素的一些性质.作为应用,给出了任意阿贝尔群有检验元素的充分必要
由于保险公司经营的快速发展,单一险种的风险经营过程存在局限性,因而需要建立多险种的风险模型.研究了一类双险种的离散风险模型,得到了该模型下的生存概率,并通过2种方法得
2019年7月8日，北京。天还未放亮，天安门广场已是人头攒动。晨曦中，人们屏住呼吸注视着国旗护卫队踢着正步走来，仰望五星红旗在国歌声中冉冉升起，内心的激动之情被熊熊点燃。 升旗仪式结束，人群中忽然响起一个女高音的清亮歌声——“百灵鸟从蓝天飞过，我爱你中国。我爱你中国，我爱你中国，我爱你春天蓬勃的秧苗，我爱你秋日金黄的硕果……”人们纷纷翘首寻觅，有人惊喜地发现，演唱者竟是《我爱你，中国》的原唱、著
2016年的5月1日,“营改增”全面试点启动,营业税被增值税彻底取代。本来就位居中国第一大税种的增值税,在吸纳了地方最主要的税种——营业税之后,在整个税收中的位置更加重要
微生物谷氨酰胺转胺酶(Microbial transglutaminase,MTG)已被广泛用于改善食品质构和特性,但由于其热稳定性较差,限制了它的应用范围.作者研究了不同盐离子对其热稳定性的影
以神经酸(顺-15-二十四碳烯酸)为原料,以乙醇和水的混合物为介质,在常压下直接与氧化钙反应合成神经酸钙,对产物的光谱性质和理化性质进行了表征.并对反应温度、反应时间、反