张乃孝

作品数：21被引量：77H指数：5
导出分析报告
供职机构：北京大学数学科学学院更多>>
发文主题：程序设计语言程序语言程序设计数据结构语言更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《计算机学报》《北京大学学报（自然科学版）》《微电子学与计算机》《计算机研究与发展》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划高等学校骨干教师资助计划上海市科学技术委员会基础研究重点项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
“数据结构”教学与教材研究被引量：8
《中国大学教学》2013年第2期86-90,共5页张乃孝 
国家自然科学基金61202069项目资助
本文回顾了著者三十多年来从事"数据结构"教学与研究的主要经历,重点介绍了对该课程的教材建设方面的主要工作,指出与时俱进、精益求精地编写教材是提高教学水平的基础和关键。
关键词：数据结构 算法 程序设计语言 程序设计方法 教材 
Garden：一种面向领域语言的集成开发环境
《中国科学（E辑）》2008年第12期2084-2098,共15页张乃孝 珺小明 孙猛 
国家自然科学基金(批准号:60473056);上海市基础研究重点项目(登山行动计划)(批准号:06JC14022);中国高技术研究发展计划(批准号:2006AA01Z165,2007AA010302)资助项目
随着计算机技术的发展,通用语言已经不能满足各种领域应用程序开发的需要.由于领域语言提供领域专用术语和符号的概念,支持该领域中的各种处理,能够简洁、有效地构造该领域应用程序,因此,领域语言成为当前计算机语言研究中的热点.文中...
关键词：GARMENT GARDEN 领域语言 面向语言 自动生成 
基于UML的软件结构规范与精化被引量：5
《北京大学学报（自然科学版）》2007年第1期1-10,共10页孙猛 杨红丽 张乃孝 裘宗燕 
国家自然科学基金(60473056和60573081)资助项目
提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的...
关键词：软件结构 规范 精化 CSP UML 
基于描述逻辑的特征模型被引量：3
《计算机科学》2007年第1期21-25,共5页范少锋 张乃孝 赵新宇 
国家自然科学基金项目(编号60473056资助
由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知...
关键词：描述逻辑 特征模型 一致性 RACER 
UML状态机视图的RSL形式描述(英文)被引量：2
《北京大学学报（自然科学版）》2005年第3期344-357,共14页孙猛 张乃孝 Bernhard K Aichernig 
国家自然科学基金资助项目 (6 0 2 730 0 1和 6 0 4 730 5 6 )
使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确...
关键词：UML 状态机 RAISE 形式化 
生成式程序设计研究概述被引量：5
《计算机科学》2005年第3期12-16,25,共6页范少锋 张乃孝 
国家自然科学基金(编号60273001)
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker...
关键词：生成式程序设计 软件规模 软件复杂度 建模 配置知识 
ALL--算法与数据结构教学小语言被引量：1
《计算机科学》2003年第11期178-180,共3页张乃孝 蒋凌霄 
国家自然科学基金(60273001)
1引言 一般来说,领域语言(Domain Specific Language,又称Little Language)是特定于某个领域的需求的描述语言,它提供足够多的语言成分支持该领域中通用的各种概念,使该领域的工作者可以简洁地用它构造领域内的应用程序.设计领域语言的...
关键词：领域语言 描述方式 ALL语言程序 数据结构 程序正确性检查 函数 
基于线程的Java程序自动并行转换技术被引量：4
《软件学报》2001年第3期390-397,共8页刘英 刘磊 张乃孝 
国家自然科学基金资助项目!(6 99830 0 1);教育部骨干教师基金资助项目&&
Java程序的并行化研究是一个重要课题 .提出一种 Java程序的自动并行转换技术 ,并充分利用 Java语言本身提供的多线程机制 ,通过操作冲突性检测等方法将串行化的 Java程序自动转化成并行化程序 .使得转化后的并行化程序在多处理机操作...
关键词：面向对象 程序设计 线程 程序自动并行化 JAVA语言 
基于交易中间件的客户 /服务器系统的形式描述被引量：1
《微电子学与计算机》2000年第5期1-5,共5页张乃孝 张明恒 
国家自然科学基金资助项目
基于交易中间件的客户 /服务器系统是一种典型的分布式事务处理系统，深入研究这种系统的一般模型，有助于深刻理解这种软件的特征与性质，有助于提高系统的正确性和可靠性。文章根据该系统的抽象模型对它的主要“构件”和“操作”的功...
关键词：形式描述 客户/服务器 交易中间性 
一种带约束的多态类型系统被引量：3
《计算机学报》1999年第4期343-350,共8页郑红军 张乃孝 
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，...
关键词：约束类型 类型检查 多态类型系统 程序设计语言 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部