一种基于逻辑约束的软件设计过程验证方法及其工程实践
100 积分
50
评分
4.7 积分- 详情
- 2021-04-27
- 简介
pdf
- 667KB
- 页数 5P
- 阅读 88
- 下载 36
如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
一种基于逻辑约束的软件设计过程验证方法及其工程实践 667KB
一种基于网络的监控软件设计与实现 684KB
一种基于网络的监控软件设计与实现 714KB
一种面向PLC的编程软件及其应用方法 1.2MB
软件设计过程评审表(217) 29KB
一种基于空间约束的建筑综合区构建方法 697KB
基于计算机软件设计过程的可维护性研究 72KB
基于构件的软件设计方法及其在机械 CAD 系统中的应用 110KB
一种节能型网络交换机的软件设计 238KB
一种面向航天领域的远程协同接口软件设计 81KB