朱军
【姓名】 朱军
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 客户机／服务器结构,Agent,面向对,软件工程,LOTOS,计算机辅助,交互式用户界面,面向对象,ACTL,软件Agent,Client/Server结构,模型检查,软件,时序逻辑,用户界面,形式化...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 1 2 2 96 454
中国期刊全文数据库    共找到3篇
[1]朱军,张高,华庆一,戴国忠.交互式用户界面的形式化描述与性质验证[J]软件学报.1999,(11)
[2]樊玮,朱军.软件Agent技术的研究[J]航空计算技术.1999,(04)
[3]朱军.一个基于Client/Server结构的CASE对象模型[J]西北大学学报(自然科学版).1997,(04)
更多