|
|
计算机科学 2003
形式化与可视化结合的fdoom软件开发方法Keywords: fdoom软件开发方法形式化可视化面向对象 Abstract: itisanimportantissueinsoftwareengineeringthatcombinestheformaldevelopmentmethodwiththevi-sualdevelopmentmethod.thisstudyisbasedonthetransformmethodandrulesbetweentheumlmodelandtheraisemodel.wedevelopesanewsoftwared
|
