杨大军
【姓名】 杨大军
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 规约语言,定理证明器,形式化方法,功能规约,同步控制线索,同步控制树,同步控制机制,软件自动化,需求定义,软件需求,非确定性,分析自动化,证明策略,动态优化,定理证明,支撑系统,辅助工具,高阶逻辑,自...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 2 1 7 252
中国期刊全文数据库    共找到3篇
[1]廖宇,杨大军.定理证明辅助工具PVS剖析[J]计算机工程.2000,(09)
[2]杨大军,丁俊华,吕建.软件需求分析自动化支撑系统中的字典管理方法研究[J]计算机应用与软件.2001,(04)
[3]廖宇,杨大军,唐宝,张鸣,吕建.一种新型同步控制机制Guard-Trace及其实现技术研究[J]南京大学学报(自然科学版).2001,(02)
更多