您的位置： 专家智库 > >

黄克

作品数：2 被引量：8H指数：1
供职机构：重庆工业管理学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇软件工程
  • 2篇设计方法
  • 2篇程序设计
  • 1篇实时系统
  • 1篇程序语言

机构

  • 2篇重庆工业管理...

作者

  • 2篇李祖珉
  • 2篇张宇
  • 2篇黄克

传媒

  • 1篇计算机研究与...
  • 1篇第三届全国青...

年份

  • 1篇1993
  • 1篇1991
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
实时程序设计方法的发展趋势
张宇黄克李祖珉
关键词：程序设计实时系统软件工程程序语言
实时程序设计方法的发展趋势被引量：8
1993年
本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。
张宇黄克李祖珉
关键词：程序设计软件工程
全选 清除 导出
共1页<1>
聚类工具0