陈伟清

作品数:1被引量:5H指数:1
导出分析报告
供职机构:武汉大学计算机学院计算机科学系更多>>
发文主题:嵌入式实时系统软件开发更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《软件学报》更多>>
所获基金:国家教育部博士点基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
嵌入式实时系统的软件需求检测被引量:5
《软件学报》2002年第5期994-1002,共9页毋国庆 朱立松 王敏 蔡持峰 陈伟清 
国家自然科学基金资助项目(69873035);国家教育部博士点基金资助项目~~
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成...
关键词:软件开发 嵌入式实时系统 软件需求检测 
检索报告 对象比较 聚类工具 使用帮助 返回顶部