《软件学报》形式化方法和工具专刊征文通知

来源 :软件学报 | 被引量 : 0次 | 上传用户:happytime3
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式化方法是指有严格数学基础的软件和系统开发方法,可支持计算机系统及软件的规约、设计、验证与演化等活动。随着高可信软件的兴起,形式化方法的关注度日益提高。其作用不仅体现在人们对计算系统规律认识的深入,更体现在对计算系统开发、运行和演化的工具与平台构建的基础性支持。近年来,形式化方法也在向生物科学、物理科学等领域交叉渗透。
其他文献
在改革大潮中诞生,又在深化改革中发展壮大的成都大学,已胜利地走过了十五个不平凡的春秋。15年来,在上级党、政部门的关心和支持下,在我校历届党委的正确领导下,全校教职工
1996年10月5日是第二十“世界造口日”,是对造口患者的社会环境与生活质量挺供帮助的一次世界性活动,全球许多国家在这一天将举行活动。
本文从现实出发,认真总结了物资供应在强化管理、提高效益方面取得的新经验。
建筑类学生学习建筑结构课程时普遍存在结构方面基础薄弱,概念不清,特别是结构抗震方面更弱等问题.本文介绍课程教学中采用的计算机辅助教学及小组教学等新的教学手段,通过教
<正> 廖平(1852—1932),字季平,四川井研县人,是近代有名的经学大师,以经学六变闻名于世,自号六译先生。他一生经学一变平分今古,二变尊今抑古,三变小统大统,四变人学天学,五
自1993年7月美国加州大学Stephen Smith报告了非气腹腹腔镜(Gaslss Laproscopy,GLLS)技术后,GLLS术迅速崛起,无情冲击着气腹性腹腔镜的地位。1994年3月我们首次开展了这一技
一、设计意图鞋子是幼儿身边最熟悉的生活用品之一.随着科学技术的不断发展,各式各样、多姿多彩的鞋子,不但给人们的生活带来了方便,还给幼儿带来了许多乐趣和探究的思索及创
期刊