一种基于逻辑约束的软件设计过程验证方法及其工程实践

何俊梅,邹显春

西南师范大学学报(自然科学版)

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
	姓名不能为空！
邮箱
	邮箱不能为空！非法的邮箱地址。
手机号码
	电话不能为空！请输入有效手机号!
标题
	标题不能为空！
留言内容
	内容不能为空！
验证码
	验证码不能为空！验证码错误！

一种基于逻辑约束的软件设计过程验证方法及其工程实践

何俊梅,邹显春. 一种基于逻辑约束的软件设计过程验证方法及其工程实践[J]. 西南师范大学学报(自然科学版), 2007, 32(4).

引用本文:

何俊梅,邹显春. 一种基于逻辑约束的软件设计过程验证方法及其工程实践[J]. 西南师范大学学报(自然科学版), 2007, 32(4).

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).

Citation:

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).

一种基于逻辑约束的软件设计过程验证方法及其工程实践

何俊梅,邹显春

西南大学,计算机与信息科学学院,重庆,400715

A Software Development Process Validation Method Research and Practice Based on the Logic Restrict Condition Management

摘要: 如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.
- 统一建模语言,逻辑约束,教学管理平台,RAISE规范语言

计量

文章访问数: 161
HTML全文浏览数: 39
PDF下载数: 0
施引文献: 0

一种基于逻辑约束的软件设计过程验证方法及其工程实践

何俊梅,邹显春

西南大学,计算机与信息科学学院,重庆,400715

关键词:

统一建模语言,逻辑约束,教学管理平台,RAISE规范语言

摘要: 如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.