面向嵌入式实时软件系统需求工程环境——SREE

来源 :2001全国软件技术研讨会 | 被引量 : 0次 | 上传用户：liangzhenghai

【摘要】

：

本文介绍了我们实现的面向嵌入式实时软件系统(ERS)的需求工程环境SREE,该环境涉及软件需求工程(Requirement Engineering,RE)全过程.文章介绍SREE的需求描述语言RTRSM和该环

【作者】

：

舒风笛武汉大学计算机科学系王敏毋国庆

【机构】

：

武汉大学软件工程国家重点实验室

【出处】

：

2001全国软件技术研讨会

【发表日期】

：

2001年期

【关键词】

：

嵌入式实时软件系统系统需求工程环境需求规格说明软件需求工程原型化方法执行方式描述语言动画演示全过程模拟检测功能

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文介绍了我们实现的面向嵌入式实时软件系统(ERS)的需求工程环境SREE,该环境涉及软件需求工程(Requirement Engineering,RE)全过程.文章介绍SREE的需求描述语言RTRSM和该环境的主要功能,尤其是将原型化方法、RTRSM和动画演示集为一体,以模拟执行方式检测ERS需求规格说明,本末讨论了该环境的特点及我们下一步的研究工作.

其他文献

PLC技术在电气工程及其自动化控制中的运用分析

现如今，科学技术不断的进步，信息化技术也不断地应用到各领域中，并取得了良好的使用效果。PLC技术有效的结合了传统技术中的主要优势以及现代化科学技术的特点，促进了我国电气工

期刊

PLC技术电气工程自动化控制运用分析

可用性在软件设计中的应用

在软件产品的设计过程中,在实现产品基本功能的同时应重视其可用性.可用性质量体现了从用户角度感受到的产品在使用中的质量,即使用质量,它是决定产品成败的关键因素之一.提

会议

可用性工程软件设计软件产品质量用户角度应用设计方法基本功能关键因素组成

采矿工程中采矿技术的应用分析趋势

随着我国社会主义经济的稳步发展，随着低碳环保理念在全社会的逐步推广，我国矿产行业也逐渐开始向集约型生产经营模式进行过渡。因此，这就需要我国矿产企业能够积极应用采矿新技

期刊

采矿工程新技术技术应用实践要点

碧桂园 SSGF 新建造技术体系解读

碧桂园集团是一所总部位于广东的中国目前最大的新型城镇化住宅开发商。而近期，碧桂园建筑施工采用的建筑新技术引起了广泛关注，碧桂园为其建筑体系取名为“SSGF”建在技术体系

期刊

碧桂园SSGF新建造技术概念落实方案

证券市场国际化

证券市场国际化是指以证券形式为媒介的资金在国际间的自由流动,各国上市公司的股票、债券等有价证券的发行和销售超越了一国的国界,在国际市场上进行交易。证券市场国际化

期刊

市场国际化证券筹资证券形式证券投资有价证券国际市场国界

辽东历史文化在本溪旅游景观规划设计的研究

本文通过对辽东历史文化的调查和研究,了解掌握辽东历史文化的元素组成与特色,结合本溪旅游景观规划设计,融合辽东历史文化元素进行概括提炼,注入到本溪旅游景观规划设计中,

期刊

辽东历史文化本溪旅游景观规划设计应用

基于CMM模型提出我国软件企业向CMM3级改进与升级的方法

本文从中国软件企业改进发展角度出发,借鉴美国Hughes SED公司的成功经验.剖析了CMM(软件能力成熟度模型)的结构框架.依据CMM基本理论和发展趋势对软件企业升级提出设想.

会议

软件能力成熟度模型软件企业升级结构框架基本理论改进发展发展趋势成功经验中国剖析美国

小城镇生态规划理论研究

随着城市化进程的持续推进,小城镇建设发展迅猛,成为区域的政治、经济和文化中心,正发挥着日益重要的“中心”功能.然而,在此过程中,小城镇的规划滞后的弊端逐渐显现,尤以生

期刊

小城镇生态环境生态规划理论研究

基于知识的循环不变式生成方法

利用归纳断言方法验证程序正确性的难点是如何找到循环不变式.由程序员直接给出不变式有种种弊端,而现有生成不变式的方法都是根据程序形式,推导出程序变量之间的一些简单的

会议

知识循环不变式程序正确性自动生成数学定理方法验证程序变量输入输出归纳断言本质联系程序员蕴涵导出表面弊端

图形用户界面软件的自动测试

本文介绍了判断图形用户界面(GUI)行为和所给测试用例的预期行为是否一致的喻示(oracle)方法.喻示法应用了GUI形式化模型,该模型用对象、对象属性和动作的集合来描述.若给定

会议

图形用户界面软件测试用例状态形式化模型对象属性预期行为监视器应用验证描述集合方法导出

面向嵌入式实时软件系统需求工程环境——SREE

与本文相关的学术论文