张卓鹏
【姓名】 张卓鹏
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 形式化规格说明,形式化方法,逆向工程,规格说明,形式化,VB程序,非形式化,Black,后置条件,窗体,调用图,非形式化方法,语义表示,关键过程,原型工具,匹配规则,果点,前置条件,浏览器,VB语言,
【工作单位】 吉林大学
【曾工作单位】 吉林大学;
【所在地域】 吉林长春
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 1 0 1 58
中国期刊全文数据库    共找到1篇
[1]何丽莉,胡成全,齐红,张卓鹏.用形式化和非形式化技术对VB程序逆向工程[J]吉林大学学报(信息科学版).2003,(04)
更多
中国优秀硕士学位论文全文数据库    共找到1篇