|
|
计算机科学 2003
软件体系结构的形式化与面向状态的形式化风格Keywords: 软件体系结构形式化形式化风格软件工程软件系统 Abstract: thepaperintroducesthedefinition,theessentialandthefundamentalityofformalizing,anddiscussessomeaspectsaboutformalizingindetail.afterreviewingseveralformalstylesandarchitecturedescriptionlanguages,weprovidethestate-orienteds
|
