您的位置： 专家智库 > >

谭耀铭

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

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式规约
  • 1篇形式化
  • 1篇形式化方法
  • 1篇智能操作系统
  • 1篇软件工程
  • 1篇计算机
  • 1篇规约
  • 1篇操作系
  • 1篇操作系统

机构

  • 2篇南京大学

作者

  • 2篇谭耀铭
  • 1篇浦良
  • 1篇杜兴
  • 1篇谢立
  • 1篇孙钟秀
  • 1篇张德文

传媒

  • 1篇电子学报
  • 1篇微型计算机

年份

  • 1篇1997
  • 1篇1990
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
智能操作系统KZ1被引量：1
1990年
本文提出了一种称为智能操作系统的新型操作系统,叙述了它的概念、功能和结构。同时,还介绍了一个实验性智能操作系统KZ1的设计和实现。
谢立孙钟秀浦良杜兴谭耀铭
关键词：智能操作系统计算机
形式规约技术
1997年
表式规约技术从七十年代中期提出至今，有二十年的历史，但仍未得到广泛的工业应用，至它的研究仍需进一步深入。
张德文谭耀铭
关键词：形式化方法规约形式规约软件工程
全选 清除 导出
共1页<1>
聚类工具0