基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
本文提出一个描述实时系统需求的模型.在这个模型中,层次式有穷状态机被表示成规则和模板的形式,且一个模板对应于一个状态机.由于与状态机相关的规则和信息可被写入到模板中,故用此模型写出的需求规格说明书可由多个模板组成,而且易于理解和阅读.最后,本文也讨论了此模型的特点.
推荐文章
网络实时系统的一种活动性描述语言
结构描述语言
形式规格说明
实时处理
基于农作物生长模型XML描述脚本的解释系统
解释系统
Observer模式
泛型技术
生长模型
XML脚本
C4ISR系统军事需求描述概念模型
C4ISR系统
需求描述
概念模型
基于受限语言的领域需求描述方法
软件需求描述
受限语言
词汇合法性
句型匹配
XML文件
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 描述实时系统需求的模型
来源期刊 小型微型计算机系统 学科 工学
关键词 需求工程 需求规格说明 实时系统
年,卷(期) 2001,(4) 所属期刊栏目
研究方向 页码范围 472-477
页数 6页 分类号 TP311.5
字数 5697字 语种 中文
DOI 10.3969/j.issn.1000-1220.2001.04.023
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王敏 武汉大学计算机科学系 190 1211 17.0 28.0
2 毋国庆 72 470 12.0 17.0
3 杨捷 4 20 2.0 4.0
4 应时 武汉大学计算机科学系 100 849 10.0 26.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (7)
同被引文献  (2)
二级引证文献  (12)
1985(1)
  • 参考文献(1)
  • 二级参考文献(0)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2002(2)
  • 引证文献(2)
  • 二级引证文献(0)
2004(5)
  • 引证文献(2)
  • 二级引证文献(3)
2005(4)
  • 引证文献(2)
  • 二级引证文献(2)
2006(2)
  • 引证文献(0)
  • 二级引证文献(2)
2007(3)
  • 引证文献(0)
  • 二级引证文献(3)
2008(1)
  • 引证文献(0)
  • 二级引证文献(1)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
需求工程
需求规格说明
实时系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
小型微型计算机系统
月刊
1000-1220
21-1106/TP
大16开
辽宁省沈阳市东陵区南屏东路16号
8-108
1980
chi
出版文献量(篇)
11026
总下载数(次)
17
总被引数(次)
83133
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
教育部科学技术研究项目
英文译名:Key Project of Chinese Ministry of Education
官方网址:http://www.dost.moe.edu.cn
项目类型:教育部科学技术研究重点项目
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导