| 一种基于逻辑约束的软件设计过程验证方法及其工程实践 |
| |
| 引用本文： | 何俊梅,邹显春. 一种基于逻辑约束的软件设计过程验证方法及其工程实践[J]. 西南师范大学学报(自然科学版), 2007, 32(4): 82-86 |
| |
| 作者姓名： | 何俊梅 邹显春 |
| |
| 作者单位： | 西南大学,计算机与信息科学学院,重庆,400715 |
| |
| 基金项目： | 西南大学教改项目(2006JY44) |
| |
| 摘 要： | 如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.
|
| 关 键 词： | 统一建模语言 逻辑约束 教学管理平台 RAISE规范语言 |
| 文章编号： | 1000-5471（2007）04-0082-05 |
| 修稿时间： | 2006-12-14 |
A Software Development Process Validation Method Research and Practice Based on the Logic Restrict Condition Management |
| |
| HE Jun-mei,ZOU Xian-chun. A Software Development Process Validation Method Research and Practice Based on the Logic Restrict Condition Management[J]. Journal of southwest china normal university(natural science edition), 2007, 32(4): 82-86 |
| |
| Authors: | HE Jun-mei ZOU Xian-chun |
| |
| Affiliation: | Faculty of Computer and Information Science, Southwest University, Chongqing 400715, China |
| |
| Abstract: | |
| |
| Keywords: | UML logic restriction instruction management platform RSL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《西南师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西南师范大学学报(自然科学版)》下载全文 |
