可視化軟件體系結(jié)構(gòu)描述工具XYZ/ADL的設(shè)計(jì)與實(shí)現(xiàn)

2001年

應(yīng)用技術(shù)

成果簡(jiǎn)介

在時(shí)態(tài)邏輯語(yǔ)言XYZ/E的基礎(chǔ)上，建立一種以可視化圖形表示的軟件體系結(jié)構(gòu)描述工具XYZ/ADL，它采用組件、連接件及交互端等基本設(shè)計(jì)單元，可同時(shí)描述軟件體系結(jié)構(gòu)的靜態(tài)與動(dòng)態(tài)行為，該語(yǔ)言能在統(tǒng)一的形式框架下完成不同抽象層次體系結(jié)構(gòu)設(shè)計(jì)之間的逐步過(guò)渡，從而將模塊化程序設(shè)計(jì)方法和基于規(guī)范的逐步求精方法有機(jī)地結(jié)合起來(lái)。...

相關(guān)成果

1. 基于XYZ/E的可視化軟件體系結(jié)構(gòu)描述語(yǔ)言研究
2. GRAPE模式并行處理軟件體系結(jié)構(gòu)設(shè)計(jì)與實(shí)現(xiàn)
3. 基于規(guī)則的可視化用戶(hù)接口的設(shè)計(jì)及實(shí)現(xiàn)
4. 基于統(tǒng)一形式描述的綜合數(shù)據(jù)分布與分析工具
5. 多機(jī)容錯(cuò)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
6. 基于IP庫(kù)的通用MEMS器件可視化仿真與驗(yàn)證工具
7. 可視化UML建模工具——UML Designer
8. 與偏振無(wú)關(guān)的4×4光纖光開(kāi)關(guān)光學(xué)實(shí)現(xiàn)方法和矩陣描述
9. 基于用戶(hù)描述的匯編器及其實(shí)現(xiàn)方法
10. 共代數(shù)方法及其在形式化描述和驗(yàn)證軟件體系結(jié)構(gòu)中的應(yīng)用
12. 可視化交通設(shè)計(jì)與仿真平臺(tái)的開(kāi)發(fā)研究
13. 交通工程資源管理可視化平臺(tái)研究與實(shí)現(xiàn)
14. JPEG2000 IP核設(shè)計(jì)與實(shí)現(xiàn)
15. 黨政信息網(wǎng)應(yīng)用平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)
16. 網(wǎng)上虛擬教室中筆記系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
17. 圖形用戶(hù)界面工具環(huán)境及可視化研究
18. 基于遺傳算法的櫥柜下料系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
19. 基于WEB的管線(xiàn)三維可視化設(shè)計(jì)與制造技術(shù)
20. XYZ系列濁度測(cè)定儀

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

可視化軟件體系結(jié)構(gòu)描述工具XYZ/ADL的設(shè)計(jì)與實(shí)現(xiàn)

標(biāo)簽云

猜您想要的成果

相關(guān)專(zhuān)家

相關(guān)機(jī)構(gòu)


	選擇導(dǎo)出文檔的格式關(guān)閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關(guān)閉發(fā)送短信成功


	提示信息關(guān)閉發(fā)送短信失敗


	提示信息關(guān)閉發(fā)送郵件失敗


	提示信息關(guān)閉郵件發(fā)送成功