庞军
【姓名】 庞军
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 精化演算,数据精化,程序窗口推理,精化工具,窗口推理,形式化软件开发方法,形式规约,形式化开发方法,形式方法,面向对象,块语句,支撑工具,COOZ,元变量,谓词,前置条件,算子,南京大学,抽象和具体,...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 4 1 16 227
中国期刊全文数据库    共找到4篇
[1]王云峰,李必信,庞军,查鸣,郑国梁.一种精化演算支撑工具的分析与设计[J]南京大学学报(自然科学版).2000,(05)
[2]王云峰,庞军,查鸣,杨朝晖,郑国梁.一种从面向对象Z规约到代码的精化演算方法[J]软件学报.2000,(08)
[3]王云峰,李必信,庞军,查鸣,郑国梁.基于程序窗口推理的精化演算[J]软件学报.2000,(08)
[4]庞军;王云峰;郑国梁;.现有Z的工具的比较[J]计算机科学.1999,(10)
更多
中国优秀硕士学位论文全文数据库    共找到1篇
[1]庞军.不动产抵押权的善意取得[D].南京大学.2016
更多