您的位置： 专家智库 > >

陈自明

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

合作作者

文献类型

  • 1篇学位论文
  • 1篇科技成果

领域

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

主题

  • 1篇递归
  • 1篇递归函数
  • 1篇形式规约
  • 1篇上下文
  • 1篇上下文无关文...
  • 1篇转换器
  • 1篇规约
  • 1篇函数
  • 1篇程序语言

机构

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

作者

  • 2篇陈自明
  • 1篇李开德
  • 1篇黄文集
  • 1篇王泓皓
  • 1篇万战勇
  • 1篇张荣华
  • 1篇张瑞岭
  • 1篇张强
  • 1篇陈海明
  • 1篇董韫美

年份

  • 1篇2001
  • 1篇1997
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
SAQ系统用于程序语言的转换器
如何获得形式规约,在构造新规约时如何充分利用已有的规约知识,以及如何使形式规约与真实需要相符合,即规约的获取、复用和检验,是软件自动化的源头问题.MLIRF方法和SAQ系统是在这方面的一个探索.在对所使用的方法和系统作简...
陈自明
关键词：转换器上下文无关文法递归函数
基于MLIRF方法的软件原型速成技术研究
董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
关键词：
关键词：形式规约
全选 清除 导出
共1页<1>
聚类工具0