检索结果-内蒙古大学图书馆

方正“奥思”多媒体创作工具

引用

中国电子与网络出版 1996年第2期 26-19页

作者：杨德顺北京大学计算机科学技术研究所

来源：评论

学校读者我要写书评

暂无评论

面向对象程序设计语言研究现状

引用

电子学报 1995年第10期23卷 50-56页

作者：梅宏王立福杨芙清北京大学计算机科学技术系

面向对象程序设计已成为一种重要的程序设计范型，被广为接受和使用，数量众多的程序设计语言提供了对这种范型的支持，本文综述了面向对象程序设计语言的研究现状，着重讨论了如下几方面的问题：语义研究、类型系统、语言特性、分布性... 详细信息

面向对象程序设计已成为一种重要的程序设计范型，被广为接受和使用，数量众多的程序设计语言提供了对这种范型的支持，本文综述了面向对象程序设计语言的研究现状，着重讨论了如下几方面的问题：语义研究、类型系统、语言特性、分布性、语言的变种及Ｓｍａｌｌｔａｌｋ等。

关键词：面向对象程序设计语言类型系统分布语言

来源：评论

学校读者我要写书评

暂无评论

用变换型方法模拟开发电话交换系统

引用

计算机研究与发展 1995年第7期32卷 11-16页

作者：屈婉玲张乃孝北京大学计算机科学技术系

本文给出了用变换型软件开发方法（Ｓｐｅｃｉｆｉｃａｔｉｏｎ＋Ｔｒａｎｓｆｏｒｍａｔｉｏｎ＝Ｓｏｆｔｗａｒｅ）模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机... 详细信息

本文给出了用变换型软件开发方法（Ｓｐｅｃｉｆｉｃａｔｉｏｎ＋Ｔｒａｎｓｆｏｒｍａｔｉｏｎ＝Ｓｏｆｔｗａｒｅ）模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序。整个开发过程是用变换型语言Ｐｏｌｙａ写的。最后提出了对Ｐｏｌｙａ的改进建议。

关键词：程序变换软件开发电话交换系统

来源：评论

学校读者我要写书评

暂无评论

UNIX环境下报文传送中间件INSS的设计和实现

引用

计算机研究与发展 1995年第11期32卷 32-39页

作者：刘建国李永梅周利民陈葆珏北京大学计算机科学技术系

本文简要介绍中间件特别是报文传送中间件的目标，说明在ＵＮＩＸ环境下开发报文传送中间件的必要性，着重阐述一个报文传送中间件ＩＮＳＳ系统的体系结构、设计思想和实现方法。

关键词：中间件报文传送中间件 INSS 计算机网络

来源：评论

学校读者我要写书评

暂无评论

合成型语言FOPL的语义研究

引用

电子学报 1995年第2期23卷 12-16页

作者：梅宏孙永强北京大学计算机科学技术系上海交通大学计算机科学工程系

函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

关键词： FOPL语言程序设计面向对象合成语言语义

来源：评论

学校读者我要写书评

暂无评论

合成语言FOPL基于方程逻辑的语义

引用

软件学报 1995年第7期6卷 407-415页

作者：梅宏孙永强北京大学计算机科学七技术系上海交通大学计算机科学与技术系

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻... 详细信息

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．

关键词： FOPL语言方程逻辑语义合成语言程序语言

来源：评论

学校读者我要写书评

暂无评论

OOSDM的对象模型与系统构造

引用

软件学报 1995年第11期6卷 699-704页

作者：王立福阮闯杨芙清北京大学计算机科学与技术系

随着面向对象实现技术的快速发展，面向对象的各种软件开发方法正在相互融合，并进入实施应用阶段，从而有力地促使了这一方法逐步走向成熟，基于“青鸟工程”和现有的面向对象方法，我们提出了ＯＯＳＤＭ（Ｏｂｊｅｃｔ－Ｏｒｉｅｎｔ... 详细信息

随着面向对象实现技术的快速发展，面向对象的各种软件开发方法正在相互融合，并进入实施应用阶段，从而有力地促使了这一方法逐步走向成熟，基于“青鸟工程”和现有的面向对象方法，我们提出了ＯＯＳＤＭ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＳｏｆｔｗａｒｅＤｅｖｅｌｏｐｉｎｇＭｅｔｈｏｄ）。本文主要介绍ＯＯＳＤＭ的对象模型──结合事件对象，以及如何以这一对象模型进行软件系统构造。

关键词：对象模型系统构造 OOSDM 软件开发

来源：评论

学校读者我要写书评

暂无评论

软件复用