-
题名软件动态正确性的形式化描述
被引量：4
- 1
-
-
作者
马艳芳
张敏
陈仪香
-
机构
淮北师范大学计算机科学与技术学院
上海市高可信计算重点实验室(华东师范大学软件学院)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第3期626-635,共10页
-
基金
国家自然科学基金项目(91118007)
中央高校基本科研业务费专项基金项目(78210045)
+3 种基金
安徽省高等学校省级自然科学研究项目(KJ2011A248
KJ2012Z347)
上海市高可信计算重点实验室开放课题项目(07dz22304201004)
安徽省淮北师范大学青年科学基金项目(700583)
-
文摘
软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质.
-
关键词
软件正确性
参数化互模拟
形式化
极限
拓扑
-
Keywords
correctness of software
parameterized bisimulation
formalization
limit
topology
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名用户评论的质量检测与控制研究综述
被引量：48
- 2
-
-
作者
林煜明
王晓玲
朱涛
周傲英
-
机构
上海市高可信计算重点实验室(华东师范大学软件学院)
广西可信软件重点实验室(桂林电子科技大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第3期506-527,共22页
-
基金
国家自然科学基金(61170085
61033007)
+3 种基金
国家重点基础研究发展计划(973)(2010CB328106)
教育部新世纪优秀人才计划(NCET-10-0388)
广西自然科学基金(2013GXNSFBA019267)
广西可信软件重点实验室课题(kx201314)
-
文摘
随着网络技术的发展,越来越多用户生成的内容(user-generated content)出现在网络应用中,其中,用户评论富含用户的观点,它们在网络环境中充当越来越重要的角色.据美国Cone公司2011年的调查报告,64%的用户在购买行为之前会参考已有的用户评论.因此,为用户提供准确、简洁和真实的评论是一个迫切且重要的任务.主要围绕评论质量评估、评论总结和垃圾评论检测这3个方面综述了国际上评论质量检测与控制的研究内容、技术和方法的研究进展.在此基础上,展望该领域的发展给出了可能的研究方向.
-
关键词
用户评论
质量评估
评论总结
垃圾评论检测
-
Keywords
review quality
evaluation
summarization
review spare detection
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
