袁迅
【姓名】 袁迅
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 规范,SDL,逻辑程序,Prolog语言,Prolog,软件测试,集成环境,模式目,转换器,谓词,测试方法,语义,重用构件,重用库,抽象数据类型,动态语义,邮电,Prolog程序,规格说明,一阶谓词,...
【工作单位】 北京邮电学院
【曾工作单位】 北京邮电学院;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 2 0 3 48
中国期刊全文数据库    共找到2篇
[1]罗钢,陈俊亮,袁迅.Prolog逻辑程序的测试方法[J]计算机学报.1991,(11)
[2]周晨,陈俊亮,杨放春,袁迅,杨正球,罗刚.一个SDL集成环境IES[J]通信学报.1992,(04)
更多