%0 Journal Article %T 形式化与可视化结合的fdoom软件开发方法 %A 周彦晖 张为群? %J 计算机科学 %D 2003 %X itisanimportantissueinsoftwareengineeringthatcombinestheformaldevelopmentmethodwiththevi-sualdevelopmentmethod.thisstudyisbasedonthetransformmethodandrulesbetweentheumlmodelandtheraisemodel.wedevelopesanewsoftwared %K fdoom软件开发方法形式化可视化面向对象 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595306&flag=1