【摘要】 <正> 1.前言随着软件开发技术和开发平台的不断发展,面向对象的软件设计技术和实现技术已经成为主流。UML作为一种完全支持面向对象的建模语言,提供了从软件开发过程模型、软件模型建立、模型精化、流程分析到软件生成的能力。但是,UML缺乏明确的形式语义基础,对UML建立的软件模型的验证不能利用已有的数学工具,只能通过比较需求、评审原型等方式完成,不能很好保证关键软件的高质量和高可靠性要更多还原

【Abstract】 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.更多还原