久久建筑網(wǎng)(i5h4u.cn)致力打造一個專業(yè)的建筑學(xué)習(xí)分享平臺! | 用戶登錄 免費注冊 | 投訴舉報 | 會員中心 | 上傳資料 |
從VDM-SL到JML建模的轉(zhuǎn)換策略.pdf
資料評價:
☆☆☆☆☆
生成時間:
2021-08-19
下載權(quán)限:
免費會員
文件大。
155.3KB
文件類型:
.pdf
瀏覽次數(shù):
2
建筑論壇:
上傳會員:
琳琳
所屬欄目:
水利文件
下載地址:
資料是由會員“琳琳”上傳到本平臺,如有不妥請聯(lián)系客服。違規(guī)侵權(quán)投訴
從VDM-SL到JML建模的轉(zhuǎn)換策略 ,VDM是一種廣泛應(yīng)用于工業(yè)界的形式化開發(fā)方法,數(shù)學(xué)的精確性使它能夠有效地保證系統(tǒng)的設(shè)計和開發(fā)。
JML是基于Java的形式化的行為接口規(guī)范語言(BISL),目前基于JML的驗證、調(diào)試和測試等支撐工具已經(jīng)比較成熟。
本...歡迎下載!
JML是基于Java的形式化的行為接口規(guī)范語言(BISL),目前基于JML的驗證、調(diào)試和測試等支撐工具已經(jīng)比較成熟。
本...歡迎下載!
本類欄目導(dǎo)航
熱門推薦
- SL351-2006 水利基礎(chǔ)數(shù)字地圖產(chǎn)品模式
- 可行性研究報告編制規(guī)程SL(送審稿)
- 水利工程建設(shè)安全生產(chǎn)監(jiān)督管理規(guī)定與工程施工質(zhì)量檢測
- 漿砌石壩設(shè)計規(guī)范(SL25-2006)
- SL276-2002水文基礎(chǔ)設(shè)施建設(shè)及技術(shù)裝備標(biāo)準(zhǔn)
- 15TJ004廣西低影響開發(fā)雨水控制及利用工程設(shè)計標(biāo)準(zhǔn)圖
- 《渠道防滲工程技術(shù)規(guī)范》GBT 50600-20101
- DLT 5389-2007水工建筑物巖石基礎(chǔ)開挖工程施工技術(shù)規(guī)
- SL319-2005 《混凝土重力壩設(shè)計規(guī)范》
- 200811最新規(guī)范列表(excel表格式)
點擊排行
- JTS-167-2-2009重力式碼頭設(shè)計與施工規(guī)范
- SL∕T 618-2021 水利水電工程可行性研究報告編制規(guī)程
- 防洪標(biāo)準(zhǔn)2014
- 高標(biāo)準(zhǔn)農(nóng)田建設(shè) 通則(GBT 30600-2022)
- 水利水電工程可行性研究報告編制規(guī)程SLT618-2021
- 團(tuán)體標(biāo)準(zhǔn)-灌區(qū)農(nóng)業(yè)用水計量率定技術(shù)規(guī)程
- GB18918-2002《城鎮(zhèn)污水處理廠污染物排放標(biāo)準(zhǔn)》
- 河道修防工”大綱及規(guī)程
- 水利工程設(shè)計變更管理暫行辦法
- 水利工程質(zhì)量管理規(guī)定(2023年1月12日水利部令第52號
猜你還喜歡
-
地質(zhì)坐標(biāo)轉(zhuǎn)換小軟件
- 所屬分類:建筑軟件
- 更新時間:2023-09-23
- 瀏覽次數(shù):0
- 地質(zhì)坐標(biāo)轉(zhuǎn)換小軟件
-
DBJ/T45-054-2017 城市綜合管廊建筑信息模型(BIM)建
- 所屬分類:建筑文件
- 更新時間:2023-05-26
- 瀏覽次數(shù):7
- DBJ/T45-054-2017 城市綜合管廊建筑信息模型(BIM)建為規(guī)范城市綜合管廊建筑信息模型應(yīng)用中的建模和交付過程,實現(xiàn)城市綜合管廊工程建設(shè)各階段信息傳遞及信息應(yīng)用,特制訂本標(biāo)準(zhǔn)。本標(biāo)準(zhǔn)適用于新建、改建、擴(kuò)建城市綜合管廊工程建筑信息模型的建模和交付。城市綜合管廊
-
DBJ/T45-033-2016 城市軌道交通建筑信息模型(BIM)建
- 所屬分類:建筑文件
- 更新時間:2023-05-26
- 瀏覽次數(shù):1
- DBJ/T45-033-2016 城市軌道交通建筑信息模型(BIM)建1 .0.1 為響應(yīng)國家推廣使用建筑信息模型技術(shù),確保廣西城市軌道交通工程建設(shè)過程中,工程信息模型的建立與交付行為有一個具有可操作性、兼容性強(qiáng)的統(tǒng)一標(biāo)準(zhǔn),制定本標(biāo)準(zhǔn)。1 .0.2 本標(biāo)準(zhǔn)適用廣西城市軌道交通工程在建
-
DBJ∕T 13-130-2010 管道液化石油氣供氣系統(tǒng)天然氣轉(zhuǎn)
- 所屬分類:建筑文件
- 更新時間:2022-09-14
- 瀏覽次數(shù):5
- DBJ∕T 13-130-2010 管道液化石油氣供氣系統(tǒng)天然氣轉(zhuǎn)DBJ∕T 13-130-2010 管道液化石油氣供氣系統(tǒng)天然氣轉(zhuǎn)換規(guī)程資料下載
-
DBJ04∕T 412-2020 城市軌道交通建筑信息模型建模標(biāo)準(zhǔn)
- 所屬分類:建筑文件
- 更新時間:2022-09-14
- 瀏覽次數(shù):3
- DBJ04∕T 412-2020 城市軌道交通建筑信息模型建模標(biāo)準(zhǔn)DBJ04∕T 412-2020 城市軌道交通建筑信息模型建模標(biāo)準(zhǔn)資料下載
-
DBJT 45∕T 006-2019 公路工程設(shè)計信息模型建模與交付
- 所屬分類:建筑文件
- 更新時間:2022-09-07
- 瀏覽次數(shù):1
- DBJT 45∕T 006-2019 公路工程設(shè)計信息模型建模與交付DBJT 45∕T 006-2019 公路工程設(shè)計信息模型建模與交付指南資料下載
-
DB2101∕T 0003-2018 裝配式混凝土建筑預(yù)制構(gòu)件BIM建
- 所屬分類:建筑文件
- 更新時間:2022-09-03
- 瀏覽次數(shù):5
- DB2101∕T 0003-2018 裝配式混凝土建筑預(yù)制構(gòu)件BIM建DB2101∕T 0003-2018 裝配式混凝土建筑預(yù)制構(gòu)件BIM建模標(biāo)準(zhǔn)資料下載
-
DBJT 45∕T 027-2021 船閘工程BIM設(shè)計建模與交付應(yīng)用
- 所屬分類:建筑文件
- 更新時間:2022-08-31
- 瀏覽次數(shù):4
- DBJT 45∕T 027-2021 船閘工程BIM設(shè)計建模與交付應(yīng)用DBJT 45∕T 027-2021 船閘工程BIM設(shè)計建模與交付應(yīng)用指南資料下載
-
DB13(J)∕T 8393-2020 人民防空工程平戰(zhàn)功能轉(zhuǎn)換設(shè)計
- 所屬分類:建筑文件
- 更新時間:2022-08-31
- 瀏覽次數(shù):1
- DB13(J)∕T 8393-2020 人民防空工程平戰(zhàn)功能轉(zhuǎn)換設(shè)計DB13(J)∕T 8393-2020 人民防空工程平戰(zhàn)功能轉(zhuǎn)換設(shè)計標(biāo)準(zhǔn)資料下載
-
DB11∕T 1610-2018 民用建筑信息模型深化設(shè)計建模細(xì)度
- 所屬分類:專業(yè)資料
- 更新時間:2022-08-27
- 瀏覽次數(shù):3
- DB11∕T 1610-2018 民用建筑信息模型深化設(shè)計建模細(xì)度DB11∕T 1610-2018 民用建筑信息模型深化設(shè)計建模細(xì)度標(biāo)準(zhǔn)資料下載
-
JCCAD-地基基礎(chǔ)建模與計算設(shè)計軟件說明書
- 所屬分類:工程技術(shù)
- 更新時間:2021-07-07
- 瀏覽次數(shù):9
- JCCAD-地基基礎(chǔ)建模與計算設(shè)計軟件說明書本資料為PKPM
-
高速隧道施工轉(zhuǎn)換工法技術(shù)方案2019
- 所屬分類:工程技術(shù)
- 更新時間:2021-03-20
- 瀏覽次數(shù):6
- 高速隧道施工轉(zhuǎn)換工法技術(shù)方案2019[山西]高速隧道施工轉(zhuǎn)換工法技術(shù)方案,2019年,word格式,共101P。 工程概況三多隧道位于山西省XX,設(shè)計為左右分離式,右線起訖樁號為,全長155m;左線起訖樁號,長125米,屬雙向四車道高速公路短隧道,洞體最大埋深3
-
CAD轉(zhuǎn)換EXCEL插件
- 所屬分類:CAD詳圖
- 更新時間:2021-03-19
- 瀏覽次數(shù):0
- CAD轉(zhuǎn)換EXCEL插件1.在AutoCAD與Excel間動態(tài)交互數(shù)據(jù),具有動態(tài)關(guān)聯(lián)Excel,實時更新的功能,并能靜態(tài)輸出、讀入Excel文件 2.將AutoCAD數(shù)據(jù)按表格格式輸出為文本文件,也可將Word文件,文本文件讀入AutoCAD,并制成表格 3.對Excel表格
水利工程:
水利施工方案
水利考試
水利專業(yè)資料
水利軟件
水利論文
結(jié)構(gòu)工程:
結(jié)構(gòu)施組方案
結(jié)構(gòu)圖紙
結(jié)構(gòu)軟件
結(jié)構(gòu)課件
工藝工法
結(jié)構(gòu)考試
結(jié)構(gòu)專業(yè)資料
結(jié)構(gòu)論文
其他資料
安裝工程:
設(shè)備安裝圖紙
安裝工程專業(yè)資料
安裝施組設(shè)計
專題
工程監(jiān)理:
監(jiān)理交底
施工監(jiān)理
監(jiān)理文檔
旁站監(jiān)理
監(jiān)理考試
合同表格
監(jiān)理細(xì)則
監(jiān)理大綱
監(jiān)理總結(jié)
監(jiān)理月報
監(jiān)理規(guī)劃
裝飾裝修:
裝修施工方案
裝修圖紙
室內(nèi)設(shè)計
施工工藝
裝修技術(shù)交底
裝修表格
裝修資料
建筑文庫