您的位置： 专家智库 > >

张乃孝

作品数：24 被引量：125H指数：8
供职机构：北京大学数学科学学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划高等学校骨干教师资助计划更多>>
相关领域：自动化与计算机技术文化科学电子电信更多>>

合作作者

文献类型

  • 21篇期刊文章
  • 3篇会议论文

领域

  • 21篇自动化与计算...
  • 2篇文化科学
  • 1篇电子电信

主题

  • 10篇程序设计
  • 6篇设计语言
  • 6篇程序设计语言
  • 5篇程序语言
  • 4篇数据结构
  • 3篇语言
  • 3篇软件开发
  • 3篇GARMEN...
  • 2篇形式化
  • 2篇三叉树
  • 2篇领域语言
  • 2篇UML
  • 1篇电话交换
  • 1篇电话交换系统
  • 1篇形式化方法
  • 1篇性能分析
  • 1篇一致性
  • 1篇英文
  • 1篇知识
  • 1篇知识结构

机构

  • 24篇北京大学
  • 2篇华东师范大学
  • 1篇吉林大学
  • 1篇联合国大学

作者

  • 24篇张乃孝
  • 6篇郑红军
  • 2篇裘宗燕
  • 2篇屈婉玲
  • 2篇范少锋
  • 2篇孙猛
  • 1篇赵新宇
  • 1篇蒋凌霄
  • 1篇刘磊
  • 1篇珺小明
  • 1篇刘英
  • 1篇张明恒
  • 1篇杨红丽

传媒

  • 4篇计算机研究与...
  • 4篇软件学报
  • 4篇计算机科学
  • 3篇北京大学学报...
  • 3篇计算机学报
  • 1篇中国大学教学
  • 1篇微电子学与计...
  • 1篇中国科学（E...
  • 1篇第二届大学计...
  • 1篇全国程序设计...
  • 1篇中国计算机学...

年份

  • 1篇2013
  • 1篇2008
  • 2篇2007
  • 1篇2006
  • 2篇2005
  • 1篇2003
  • 1篇2001
  • 1篇2000
  • 1篇1999
  • 3篇1998
  • 2篇1997
  • 1篇1996
  • 1篇1995
  • 2篇1994
  • 2篇1993
  • 1篇1990
  • 1篇1985
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
生成式程序设计研究概述被引量：8
2005年
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生离定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。
范少锋张乃孝
关键词：软件复杂度
Ｐｏｌｇａ语言的主要特征
张乃孝屈婉玲
关键词：程序设计程序语言模块化程序
语言的抽象、封装与变换型开发方法被引量：5
1998年
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法．这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范＋变换”抽象软件开发过程．为支持这种方法，提出了语言的一种抽象与封装机制Ｇａｒｍｅｎｔ，以此定义语言中各成分的语法和语义，描述语言间的继承、屏蔽和扩充关系．最后，以语言知识库为核心，简要介绍了支持用Ｇａｒｍｅｎｔ进行变换型开发的系统结构和工作流程．
张乃孝郑红军裘宗燕
关键词：软件开发方法
一种带约束的多态类型系统被引量：3
1999年
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，约束的引入与消去是不同层次上的操作．最后，本文绘出了类型检查算法Wτ，并证明了此算法中约束的可满足性是可判定的．
郑红军张乃孝
关键词：程序设计语言
程序设计语言的抽象与语言族模型被引量：2
1997年
程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这３种关系下构成的语言族模型。
张乃孝郑红军
关键词：程序设计语言
用变换型方法模拟开发电话交换系统被引量：3
1995年
本文给出了用变换型软件开发方法（Ｓｐｅｃｉｆｉｃａｔｉｏｎ＋Ｔｒａｎｓｆｏｒｍａｔｉｏｎ＝Ｓｏｆｔｗａｒｅ）模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序。整个开发过程是用变换型语言Ｐｏｌｙａ写的。最后提出了对Ｐｏｌｙａ的改进建议。
屈婉玲张乃孝
关键词：软件开发电话交换系统
ALL--算法与数据结构教学小语言被引量：1
2003年
1引言 一般来说,领域语言(Domain Specific Language,又称Little Language)是特定于某个领域的需求的描述语言,它提供足够多的语言成分支持该领域中通用的各种概念,使该领域的工作者可以简洁地用它构造领域内的应用程序.设计领域语言的主要目的就是为了简化应用程序开发过程、降低开发代价,同时又保证领域概念的清晰性,使开发过程可靠性高、可维护性强[1].
张乃孝蒋凌霄
关键词：领域语言数据结构函数
一种并行逻辑程序设计语言的设计
讨论了Horn子句逻辑程序固有的不确定性及其潜在的并发性。分析了Prolog及一些并发逻辑程序设计语言模型的优缺点。在此基础上提出一种并行逻辑程序设计语言的梗概。（本刊录）
张乃孝侯世君
关键词：逻辑系统程序设计程序语言谓词逻辑性能分析
UML状态机视图的RSL形式描述(英文)被引量：8
2005年
使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性。最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析。
孙猛张乃孝Bernhard K Aichernig
关键词：UML状态机RAISE形式化
编写“数据结构”教材的几点体会
本文回顾了二十多年来从事'数据结构'相关教材的编写过程;对于笔者编写的相关教材进行了客观的分析;然后对于教材编写过程中遇到的若干原则问题,发表了个人的看法.
张乃孝
关键词：数据结构课程教材编写抽象数据类型程序设计语言
文献传递
全选 清除 导出
共3页<123>
聚类工具0