未找到相关数据
形式化与可视化结合的FDOOM软件开发方法
被引：3
作者：
周彦晖
张为群
机构：
[1] 西南师范大学计算机与信息科学学院
[2] 西南师范大学计算机与信息科学学院 重庆
[3] 重庆
来源：
关键词：
Formalize;
Visualize;
UML;
RAISE;
Model transform;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
081202 ;
0835 ;
摘要：
<正> 1.前言随着软件开发技术和开发平台的不断发展,面向对象的软件设计技术和实现技术已经成为主流。UML作为一种完全支持面向对象的建模语言,提供了从软件开发过程模型、软件模型建立、模型精化、流程分析到软件生成的能力。但是,UML缺乏明确的形式语义基础,对UML建立的软件模型的验证不能利用已有的数学工具,只能通过比较需求、评审原型等方式完成,不能很好保证关键软件的高质量和高可靠性要
引用
收藏
页码：179 / 182
页数：4
相关论文