您的位置： 专家智库 > >

玄顺姬

作品数：3 被引量：10H指数：2
供职机构：吉林工业大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 3篇面向对象
  • 3篇程序设计
  • 2篇自动化
  • 2篇程序自动化
  • 1篇形式化
  • 1篇形式化方法
  • 1篇软件自动化
  • 1篇面向对象程序
  • 1篇面向对象程序...
  • 1篇构造性

机构

  • 3篇吉林工业大学
  • 3篇吉林大学

作者

  • 3篇全炳哲
  • 3篇金淳兆
  • 3篇玄顺姬

传媒

  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇软件学报

年份

  • 1篇1998
  • 2篇1997
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
面向对象类型理论的比较研究被引量：4
1997年
人们已提出各种支持面向对象程序设计的类型理论．但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题．本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础．
全炳哲金淳兆玄顺姬
关键词：面向对象程序设计形式化方法
基于类型理论的继承机制的研究
1998年
本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．
全炳哲金淳兆玄顺姬
关键词：面向对象程序设计程序自动化
一种面向对象程序自动化方法的研究被引量：6
1997年
构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。
全炳哲金淳兆玄顺姬
关键词：面向对象程序设计程序自动化软件自动化
全选 清除 导出
共1页<1>
聚类工具0