%0 Journal Article
%T 软件体系结构的形式化与面向状态的形式化风格
%A 胡劲松 郭荷清 郑启伦？
%J 计算机科学
%D 2003
%X thepaperintroducesthedefinition,theessentialandthefundamentalityofformalizing,anddiscussessomeaspectsaboutformalizingindetail.afterreviewingseveralformalstylesandarchitecturedescriptionlanguages,weprovidethestate-orienteds
%K 软件体系结构形式化形式化风格软件工程软件系统
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8764281&flag=1