您的位置： 专家智库 > >

张德文

作品数：1 被引量：0H指数：0
供职机构：南京大学计算机科学与技术系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式规约
  • 1篇形式化
  • 1篇形式化方法
  • 1篇软件工程
  • 1篇规约

机构

  • 1篇南京大学

作者

  • 1篇张德文
  • 1篇谭耀铭

传媒

  • 1篇微型计算机

年份

  • 1篇1997
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
形式规约技术
1997年
表式规约技术从七十年代中期提出至今，有二十年的历史，但仍未得到广泛的工业应用，至它的研究仍需进一步深入。
张德文谭耀铭
关键词：形式化方法规约形式规约软件工程
全选 清除 导出
共1页<1>
聚类工具0