文志诚
【姓名】 文志诚
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 前置条件,形式规格说明,验证,不变式,Z,证明责任,软件体系结构风格,面向服务的体系结构,形式化描述,Object-Z,产生器,形式规格说明语言,多态性,后置条件,推理规则,重用,CSP,参数化进程,...
【工作单位】 上海大学
【曾工作单位】 上海大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/6 5 6 4 27 1275
中国期刊全文数据库    共找到5篇
[1]孙军梅;缪淮扣;文志诚;.面向服务的软件体系结构的形式化[J]计算机工程.2006,(08)
[2]文志诚;缪淮扣;许庆国;.一种从Object-Z到CSP规格说明的转化方法[J]计算机科学.2006,(11)
[3]文志诚;缪淮扣;孙军梅;.基于Object-Z多态推理[J]计算机科学.2006,(07)
[4]文志诚;缪淮扣;张新林;.基于Object-Z的形式化验证方法[J]计算机科学.2007,(05)
[5]沈毅,缪淮扣,文志诚,陈怡海.一个Z的证明责任产生器[J]上海大学学报(自然科学版).2005,(05)
更多
中国博士学位论文全文数据库    共找到1篇
[1]文志诚.面向对象软件的形式验证技术[D].上海大学.2007
更多