张乃孝
【姓名】 张乃孝
【职称】 教授;
【研究领域】 计算机软件及计算机应用;互联网技术;自动化技术;
【研究方向】 软件开发的形式方法与软件自动化
【发表文献关键词】 三叉树,程序变换,知识树,子句,逻辑程序,换模,子树,抽象变量,抽象类型,抽象表达,程序语言,语言,索引表,多态,表达式,逻辑推理,变量,约束类型,推理树,实例化,谓词,Horn子句,交易中间件,推理...
【工作单位】 北京大学
【曾工作单位】 北京大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/20 14 12 12 247 3927
中国期刊全文数据库    共找到19篇
[1]张乃孝;.“数据结构”教学与教材研究[J]中国大学教学.2013,(02)
[2]孙猛;杨红丽;张乃孝;裘宗燕;.基于UML的软件结构规范与精化(英文)[J]北京大学学报(自然科学版).2007,(01)
[3]范少锋;张乃孝;赵新宇;.基于描述逻辑的特征模型[J]计算机科学.2007,(01)
[4]张乃孝;琚小明;孙猛;.Garden:一种面向领域语言的集成开发环境[J]中国科学(E辑:信息科学).2008,(12)
[5]张乃孝;蒋凌霄;.ALL--算法与数据结构教学小语言[J]计算机科学.2003,(11)
[6]范少锋;张乃孝;.生成式程序设计研究概述[J]计算机科学.2005,(03)
[7]孙猛,张乃孝,Bernhard K Aichernig.UML状态机视图的RSL形式描述(英文)[J]北京大学学报(自然科学版).2005,(03)
[8]张乃孝,张明恒.基于交易中间件的客户 /服务器系统的形式描述[J]微电子学与计算机.2000,(05)
[9]刘英,刘磊,张乃孝.基于线程的Java程序自动并行转换技术[J]软件学报.2001,(03)
[10]郑红军,张乃孝.一种带约束的多态类型系统[J]计算机学报.1999,(04)
更多
承担国家科研项目    共找到2个
[1]张乃孝;.余代数及其在软件方法学中的应用[A].北京大学;.项目经费 22万元.2004-03-31.资助文献数 0 篇
[2]张乃孝;.面向语言的领域语言开发方法[A].北京大学;.项目经费 22万元.2002-03-31.资助文献数 2 篇
更多