您的位置： 专家智库 > >

王健

作品数：9 被引量：7H指数：1
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 2篇专利
  • 1篇学位论文
  • 1篇会议论文

领域

  • 5篇自动化与计算...

主题

  • 3篇PROLOG...
  • 2篇代码
  • 2篇代码生成
  • 2篇代码生成技术
  • 2篇代码实现
  • 2篇软件工程
  • 2篇软件系统
  • 2篇图像
  • 2篇图像模型
  • 2篇网构软件
  • 2篇系统软件
  • 2篇开发过程
  • 2篇复杂软件系统
  • 2篇PROLOG
  • 2篇FORTRA...
  • 2篇程序语言
  • 1篇软件开发
  • 1篇生命周期
  • 1篇全生命周期
  • 1篇面向对象

机构

  • 9篇中国科学院软...

作者

  • 9篇王健
  • 6篇程虎
  • 2篇彭启民
  • 2篇胡晓惠
  • 1篇徐赤斌

传媒

  • 3篇计算机研究与...
  • 1篇软件学报
  • 1篇中国科学院研...
  • 1篇第六次全国软...

年份

  • 1篇2016
  • 1篇2014
  • 2篇1996
  • 2篇1995
  • 1篇1994
  • 1篇1993
  • 1篇1992
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
Fortran90及其前景展望
1993年
本文从语言实现者的角度对Fortran90的特征进行了分析和评注,并根据Fortran90支持的程序设计思想展望了它的前景。
王健徐赤斌程虎
关键词：程序设计程序语言FORTRAN语言
Prolog语言抽象机器GOAM的设计与实现
1995年
本文提出了一种抽象机ＧＯＡＭ（ｇｒａｐｈｏｒｉｅｎｔｅｄａｂｓｔｒａｃｔｍａｃｈｉｎｅ），是Ｐｒｏｌｏｇ语言新的运行和实现方式。因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性。另外ＧＯＡＭ控制算法是智能回溯方法，ＧＯＡＭ在没有引入死余信息的情况下提高了系统的效率。
王健程虎
关键词：PROLOG语言
系统软件开发过程中的软件工程技术被引量：7
1996年
因为系统软件的复杂性和特殊性，如何控制和管理系统软件的开发过程是直接关系到开发成败的重要问题。本文认为系统软件不同于应用软件，有其自身的特点和规律。现有的应用软件开发方法和软件工程技术不能完全满足系统软件开发的需要。本文结合一个编译系统开发的实例介绍了系统软件开发过程中的一点经验和体会。
王健程虎
关键词：系统软件软件工程软件开发
Fortran90编译系统开发过程中的软件工程技术
给出Ｆｏｒｔｒａｎ９０编译系统开发的实践经验探讨系统软件开发过程中的软件工程技术。认为系统软件不同于应用软件，有其自身的特点和规律，传统的软件开发方法不能满足需求，文中提出了一些对策。
程虎王健
关键词：软件工程系统软件面向对象
Prolog抽象机器GOAM中的控制机制和内存管理
1994年
本文对Ｐｒｏｌｏｇ实现中的智能回溯技术给出了一个新的分类方法，并介绍了ＧＯＡＭ──一个Ｐｒｏｌｏｇ语言抽象机器中的内存管理策略和控制机构，ＧＯＡＭ中的ＩＢ技术在实现智能回溯的同时，不必记载大量的冗余信息，使ＩＢ技术成为系统的风格统一的一部分。软件模拟的结果表明，文中的方法较大地提高了系统的效率。
王健程虎
关键词：PROLOG实现内存管理控制机构
Prolog实现技术中的原型共享思想
1995年
本文介绍了ＧＯＡＭ──一个新的Ｐｒｏｌｏｇ语言抽象机器中的原型共享思想．采用原型共享技术可以明显地降低Ｐｒｏｌｏｇ程序运行时的空间消耗量，在一定程度上解决了Ｐｒｏｌｏｇ语言特有的难题──“栈溢出”问题．
王健程虎
关键词：PROLOG语言程序语言
PROLOG语言抽象机器——GOAM的设计与实现
王健
网构软件全生命周期开发实现系统
网构软件全生命周期开发实现系统，为客户端服务器架构，客户端包括：图形化软件体系结构建模模块、体系结构图像模型文件生成模块、软件应用代码工程框架生成模块；服务器包括：文件同步管理模块、Web Services演化接口模块。...
胡晓惠王健彭启民
文献传递
网构软件全生命周期开发实现系统
网构软件全生命周期开发实现系统，为客户端服务器架构，客户端包括：图形化软件体系结构建模模块、体系结构图像模型文件生成模块、软件应用代码工程框架生成模块；服务器包括：文件同步管理模块、Web Services演化接口模块。...
胡晓惠王健彭启民
文献传递
全选 清除 导出
共1页<1>
聚类工具0