形式化与可视化结合的FDOOM软件开发方法

摘要：

@@ 1.前言
随着软件开发技术和开发平台的不断发展,面向对象的软件设计技术和实现技术已经成为主流.UML作为一种完全支持面向对象的建模语言,提供了从软件开发过程模型、软件模型建立、模型精化、流程分析到软件生成的能力.

机标关键词：形式化、可视化、软件开发过程模型、面向对象、软件设计技术、实现技术、模型建立、流程分析、开发平台、开发技术、建模语言、能力、精化

所属期刊栏目：30

分类号：TP31(计算技术、计算机技术)

资助基金：教育部和重庆市"软件工程可视形式化"项目

在线出版日期：2003-12-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：179-182