缪淮扣
人工智能、计算机软件方法、软件工程等
个性化签名
- 姓名:缪淮扣
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机科学技术
- 研究兴趣:人工智能、计算机软件方法、软件工程等
缪淮扣教授,男,1953年7月生于上海,江苏淮阴人。
1986年毕业于上海科技大学计算机科学系,获计算机应用工学硕士学位;并继续留校工作。1987年起任讲师、副教授、教授、博士生导师;1988年至1991年期间任软件教研室党支部书记、软件教研室副主任;1991年 至1998年期间任计算机科学系副系主任;现任上海大学计算机工程与科学学院副院长。
缪淮扣教授1992年10月至1995年1月由国家公派在英国York 大学做访问学者。担任中国软件行业协会理事上海市南市区第四届科协常委、上海市南市区计算机学会理事长,上海市黄浦区第一届科协常委、上海市黄浦区计算机学会理事长。现任上海大学学术委员会委员、《应用科学学报》等三个杂志的编委,是享受政府特殊津贴的专家。
缪淮扣教授擅长人工智能、计算机软件方法、软件工程等。主要学术贡献是逻辑程序设计、自动推理和软件形式方法等。完成了近20多个国家级和上海市级科研项目。1990年、2003年两次获上海市科技进步三等奖。发表论文近百篇,出版著作7部。是ICFEM2002国际会议的程序主席,多次担任国际会议的程序委员。已培养博士3人,硕士23人。1992年 获霍英东教育基金会优秀青年教师奖;1991年获上海市高校优秀青年教师称号;1999年、2001年两次获上海市“育才”奖。
-
主页访问
1485
-
关注数
0
-
成果阅读
118
-
成果数
2
缪淮扣
软件学报,1995,6(12):751~760,-0001,():
-1年11月30日
Z规格说明中的初始化定理的证明是对基于状态的规格说明的一个标准的检查。本文给出了一个证明初始化定理的过程,该过程可自动地构成证明的证据。作为实例,我们用该过程证明了两个初始化定理。
初始化定理, 证明, PEISZ, 规格说明, 证据
-
64浏览
-
0点赞
-
0收藏
-
0分享
-
70下载
-
0评论
-
引用
缪淮扣
软件学报,1997,8(9):609~715,-0001,():
-1年11月30日
在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发,Z是一种基于数学表示的软件规格说明方法。前置条件的简化是Z规格说明方法中一种标准的检查,本文讨论了Z规格说明中关于操作的前置条件及其计算。提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产生简化过程的证据。
形式方法, Z规格说明, 前置条件, 简化
-
54浏览
-
0点赞
-
0收藏
-
0分享
-
37下载
-
0评论
-
引用