李剑
- 作品数:5 被引量:18H指数:3
- 供职机构:武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金教育部科学技术研究重点项目更多>>
- 相关领域:自动化与计算机技术建筑科学更多>>
- 实时控制系统需求描述方法及其应用被引量:3
- 2001年
- 1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。
- 蔡持峰毋国庆李剑何峰
- 关键词:电梯
- 基于多视点的需求描述模型被引量:9
- 2000年
- 本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例 。
- 李剑毋国庆陈伟清
- 关键词:软件系统多视点
- 从状态图到规则的转换被引量:4
- 2001年
- 本文指出了在一个面向嵌入式实时系统软件的需求定义环境中 ,系统如何将可视的分层状态图转换为形式化规则的方法 ,以及转换后的规则如何存放于模板中和被显示 .最后 ,本文也阐述了此工作的作用和意义 .
- 胡春丽毋国庆何峰蔡持峰李剑
- 关键词:实时系统规则集状态图软件工程
- 基于多视点的快速原型化方法的研究
- 1999年
- 提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性.此外,本文也讨论了这个新方法的特点和今后需要解决的问题.
- 李剑熊忠伟毋国庆
- 关键词:视点快速原型化软件开发软件维护
- 全文增补中
- 视点间的不一致性检查和视点集成被引量:3
- 2001年
- 需求定义人员常从不同的观察角度来定义大型软件系统的需求 ,从而形成多个部分需求说明 (视点 ) .由于视点之间的相对独立性 ,多视点的集成是需求工程中一项重要而又困难的研究课题 .使用形式化方法来描述视点需求和视点间的关系将使视点集成能自动进行 .在此 ,使用 SFSM状态转换图来描述视点需求 ,并将视点间的关系用谓词的形式表示在状态图中状态转换的卫士条件中 ,同时在此基础上提出了一种自动合成视点的方法 .需求定义人员可以根据状态等价关系与合成后状态图的冲突来检查和解决两个视点之间的不一致性 .通过重复视点合成和检查、处理视点间的不一致性这一过程 ,多个视点可以被集成为整个软件系统的需求说明 .应用了一个电话系统的例子说明了此视点需求表示和视点集成方法 .使用此方法 ,视点集成过程可以自动完成 ,同时还可以在一定程度上引导需求定义人员检查和解决视点间的不一致性 .
- 李剑毋国庆
- 关键词:视点软件工程软件系统