论文部分内容阅读
提出了一个检测嵌入式实时软件需求规格说明的方法.该方法将原型化方法，可执行的需求描述语言和动画显示集成为一体，并可模拟执行嵌入式实时软件的需求规格说明.此外，也阐述了这个方法的基本原理和某些实现方法.最后，讨论了这个方法及相关的支持环境的特点.
嵌入式实时软件需求规格说明的原型化检测方法
【摘 要】
：
提出了一个检测嵌入式实时软件需求规格说明的方法.该方法将原型化方法，可执行的需求描述语言和动画显示集成为一体，并可模拟执行嵌入式实时软件的需求规格说明.此外，也阐述了这
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
武汉大学学报(理学版)
【发表日期】
：
2001年3期
【基金项目】
：
国家自然科学基金 ( 68973 0 3 5 );高等学校博士学科点专项基金资助
其他文献
目的研究肺炎支原体感染对哮喘患儿肺功能的影响,从而对临床诊治及预后评估提供客观依据。方法回顾性分析2013年10月-2015年10月潍坊医学院诊治的哮喘患儿临床资料,其中在急
<正>6月27日,中国人民银行印发了《中国金融业信息技术"十三五"发展规划》,明确提出了"十三五"金融业信息技术工作的发展目标,同时列出了推动新技术应用、促进金融创新发展等
对录制的语音信号进行采样,分析其时域波形和频谱图。给定数字滤波器的性能指标,采用窗函数法和双线性变换法设计数字滤波器,并对语音信号进行滤波,得到滤波前后的信号幅频响
一首久唱不衰的歌：《教我如何不想他》张荷被誉为中国第一情歌的《教我如何不想他》（以下简称《教》），由于歌词清新含蓄，感情细腻真实，旋律优美流畅，朴实简练，一唱三叹，扣人心弦，深受广
《读书》2016年第4期刊登的《酷刑与文明——凌迟的谱系学考察》一文中写道:“这些法律在历代演变中也保持了相当的连续性和权威性,以公元七世纪公布的《唐律疏议》为例,其中
日前,20万吨/年甲苯甲醇甲基化制二甲苯技术工业试验项目（简称MTX）通过了中国石化集团公司科技部组织的技术鉴定。鉴定专家组认为,该技术具有原创性,并且建成了世界首套20万吨/
税收在经济发展中扮演着重要角色。当下,我国正处于经济转型升级、产业从中低端迈向中高端升级的关键阶段,下好先手棋,把税收改革作为供给侧结构性改革大棋局中的关键一招,正
运用文献资料法、数理统计法、专家咨询等方法,对第29届北京奥运会马拉松决赛中1～8名运动员速度分配的曲线特征、速度曲线的阶段特征、段落速度百分率、各分段与总成绩相关关
在强化当前财务管理模式下,需要结合成本控制的内在要求来展开。事实上,财务管理与成本控制之间属于硬币的两个侧面,前者体现为对资金流量与流向的监管,后者则体现为资金实际
基于近年来在巴基斯坦实施的水运项目中利用设计院优势从取得项目到实施、优化、价值提升的过程分析，论证以设计院牵头的总承包模式在流程繁多且复杂多变的海外项目实施中的优