-
题名基于多视点的需求描述模型
被引量:6
- 1
-
-
作者
李剑
毋国庆
陈伟清
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
EI
CSCD
北大核心
2000年第9期953-957,共5页
-
基金
国家自然科学基金
高等学校博士学科点专项科研基金
-
文摘
本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例 。
-
关键词
需求工程
软件系统
需求描述模型
多视点
-
Keywords
Requirements engineering
Viewpoints
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名实时控制系统需求描述方法及其应用
被引量:2
- 2
-
-
作者
蔡持峰
毋国庆
李剑
何峰
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2001年第3期78-82,共5页
-
基金
国家自然科学基金(69873035)
教育部重点项目基金
-
文摘
1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。
-
关键词
电梯
实时控制系统
需求描述模型
模板
-
Keywords
HRAFSM,Template,Simulation.Elevator-Control System
-
分类号
TU857
[建筑科学]
-
-
题名从状态图到规则的转换
被引量:3
- 3
-
-
作者
胡春丽
毋国庆
何峰
蔡持峰
李剑
-
机构
武汉大学软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第6期706-710,共5页
-
基金
国家自然科学基金 (6 98730 35 )
高校博士学科点专项科研基金资助
-
文摘
本文指出了在一个面向嵌入式实时系统软件的需求定义环境中 ,系统如何将可视的分层状态图转换为形式化规则的方法 ,以及转换后的规则如何存放于模板中和被显示 .最后 ,本文也阐述了此工作的作用和意义 .
-
关键词
需求描述模型
实时系统
规则集
状态图
软件工程
-
Keywords
Requirements description model
Real time system
Rules set
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-