|
|||||
|
|
| 软件体系结构形式化方法的适用性考察 | |
| 引用本文： | 黎明,唐朝霞.软件体系结构形式化方法的适用性考察[J].零陵学院学报,2014(5):122-124. |
| 作者姓名： | 黎明 唐朝霞 |
| 作者单位： | 湖南科技学院,湖南永州425199 |
| 基金项目： | 2013年永州市科技局科技计划项目“学校信息系统应用集成研究” |
| 摘 要： | 论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可以促进模型的简化、强化抽象概念的提取和明确抽象模型与具体模型的区别。在下一步工作中,需要讨论开发过程多阶段的形式化描述以及如何关联多阶段模型。 |
| 关 键 词： | VDM-SL 需求定义 形式化方法 软件体系结构 形式化描述 |
| 本文献已被 维普 等数据库收录！ | |