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

The Transform between Fomal and Visual Software Model

作　　者：周彦晖[1] 张为群[1] 

机构地区：[1]西南师范大学计算机与信息科学学院,重庆400715

出　　处：《计算机科学》2003年第9期179-182,共4页Computer Science

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

摘　　要：1.前言 随着软件开发技术和开发平台的不断发展,面向对象的软件设计技术和实现技术已经成为主流.UML作为一种完全支持面向对象的建模语言,提供了从软件开发过程模型、软件模型建立、模型精化、流程分析到软件生成的能力.It is an important issue in Software Engineering that combines the formal development method with the visual development method. This study is based on the transform method and rules between the UML model and the RAISE model .We developes a new software development Method FDOOM (Formal Development based on Object Oriented Modeling) that combine the UML with the RAISE together. And there is a demo in the end.

关 键 词：FDOOM 软件开发方法 形式化 可视化 面向对象 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]