您的位置： 专家智库 > >

万战勇

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

合作作者

文献类型

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

领域

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

主题

  • 2篇规约
  • 1篇形式规约
  • 1篇实例库
  • 1篇库管理
  • 1篇乐谱
  • 1篇MIDI

机构

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

作者

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

年份

  • 1篇2001
  • 1篇1997
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
SAQ规约库管理系统的扩充、重新实现和一个应用
万战勇
关键词：实例库乐谱MIDI
基于MLIRF方法的软件原型速成技术研究
董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
关键词：
关键词：形式规约
全选 清除 导出
共1页<1>
聚类工具0