久久建筑網(wǎng)(m.i5h4u.cn)致力打造一個專業(yè)的建筑學習分享平臺！ 用戶登錄 免費注冊 | 投訴舉報 | 會員中心 | 上傳資料
您現(xiàn)在的位置： > 水利 > 水利文件 > >>

從VDM-SL到JML建模的轉換策略.pdf

資料評價：
☆☆☆☆☆
生成時間：
2021-08-19
下載權限：
免費會員
文件大小：
155.3KB
文件類型：
.pdf
瀏覽次數(shù)：
2
建筑論壇：
m.i5h4u.cn
上傳會員：
琳琳
所屬欄目：
水利文件
下載地址：
前往下載
資料是由會員“琳琳”上傳到本平臺，如有不妥請聯(lián)系客服。違規(guī)侵權投訴
從VDM-SL到JML建模的轉換策略 ，VDM是一種廣泛應用于工業(yè)界的形式化開發(fā)方法,數(shù)學的精確性使它能夠有效地保證系統(tǒng)的設計和開發(fā)。
JML是基于Java的形式化的行為接口規(guī)范語言(BISL),目前基于JML的驗證、調(diào)試和測試等支撐工具已經(jīng)比較成熟。
本...歡迎下載！
  從VDM-SL到JML建模的轉換策略 下載地址
進入下載地址列表

猜你還喜歡

  • DBJ/T 15-160-2019 城市軌道交通建筑信息模型（BIM)
    所屬分類：建筑文件
    更新時間：2024-06-09
    瀏覽次數(shù)：5
    DBJ/T 15-160-2019 城市軌道交通建筑信息模型（BIM)DBJ/T 15-160-2019 城市軌道交通建筑信息模型（BIM)建模與交付標準
    立即下載
  • PDF轉換工具
    所屬分類：建筑軟件
    更新時間：2024-06-03
    瀏覽次數(shù)：0
    PDF轉換工具
    立即下載
  • tekla建模助手
    所屬分類：CAD詳圖
    更新時間：2024-03-07
    瀏覽次數(shù)：0
    tekla建模助手可以快速啟動多用戶服務器程序、快速獲取服務器地址，將 CAD 中選擇線或文本對應的圖層顯示，其它的圖層隱藏 一般用于將桿件直線所在圖層和桿件編號文本圖層顯示，其它的圖層隱藏，為 CAD 拾線創(chuàng)建梁做一個準備工作
    立即下載
  • PKPM建模操作視頻暴風系列綱要
    所屬分類：PKPM教程
    更新時間：2024-03-03
    瀏覽次數(shù)：0
    PKPM建模操作視頻暴風系列綱要
    立即下載
  • T/QGCML 2571-2023 景觀設計建模軟件
    所屬分類：建筑文件
    更新時間：2024-02-15
    瀏覽次數(shù)：7
    T/QGCML 2571-2023 景觀設計建模軟件T/QGCML 2571-2023 景觀設計建模軟件
    立即下載
  • T/NNAS 011-2023 房屋建筑工程建筑信息模型（BIM）建
    所屬分類：專業(yè)資料
    更新時間：2024-02-02
    瀏覽次數(shù)：1
    T/NNAS 011-2023 房屋建筑工程建筑信息模型（BIM）建T/NNAS 011-2023 房屋建筑工程建筑信息模型（BIM）建模標準
    立即下載
  • 燃氣用PE管鋼塑轉換件
    所屬分類：建筑圖集
    更新時間：2023-11-28
    瀏覽次數(shù)：0
    燃氣用PE管鋼塑轉換件燃氣管道埋地用的聚乙烯（PE）鋼塑轉換件，,對直管式、彎管式等鋼塑轉換件的材料、產(chǎn)品分類、要求、試驗方法、檢驗規(guī)則、標志、包裝、運輸和貯存等。3PE鋼塑轉換防腐層厚度、性能，試驗方法、檢測內(nèi)容等均做有詳細見
    立即下載
  • 地質(zhì)坐標轉換小軟件
    所屬分類：建筑軟件
    更新時間：2023-09-23
    瀏覽次數(shù)：0
    地質(zhì)坐標轉換小軟件
    立即下載
  • DBJ/T45-054-2017 城市綜合管廊建筑信息模型(BIM)建
    所屬分類：建筑文件
    更新時間：2023-05-26
    瀏覽次數(shù)：7
    DBJ/T45-054-2017 城市綜合管廊建筑信息模型(BIM)建為規(guī)范城市綜合管廊建筑信息模型應用中的建模和交付過程，實現(xiàn)城市綜合管廊工程建設各階段信息傳遞及信息應用，特制訂本標準。本標準適用于新建、改建、擴建城市綜合管廊工程建筑信息模型的建模和交付。城市綜合管廊
    立即下載
  • DBJ/T45-033-2016 城市軌道交通建筑信息模型(BIM)建
    所屬分類：建筑文件
    更新時間：2023-05-26
    瀏覽次數(shù)：1
    DBJ/T45-033-2016 城市軌道交通建筑信息模型(BIM)建1 .0.1 為響應國家推廣使用建筑信息模型技術，確保廣西城市軌道交通工程建設過程中，工程信息模型的建立與交付行為有一個具有可操作性、兼容性強的統(tǒng)一標準，制定本標準。1 .0.2 本標準適用廣西城市軌道交通工程在建
    立即下載
  • DBJ∕T 13-130-2010 管道液化石油氣供氣系統(tǒng)天然氣轉
    所屬分類：建筑文件
    更新時間：2022-09-14
    瀏覽次數(shù)：5
    DBJ∕T 13-130-2010 管道液化石油氣供氣系統(tǒng)天然氣轉DBJ∕T 13-130-2010 管道液化石油氣供氣系統(tǒng)天然氣轉換規(guī)程資料下載
    立即下載
  • DBJ04∕T 412-2020 城市軌道交通建筑信息模型建模標準
    所屬分類：建筑文件
    更新時間：2022-09-14
    瀏覽次數(shù)：3
    DBJ04∕T 412-2020 城市軌道交通建筑信息模型建模標準DBJ04∕T 412-2020 城市軌道交通建筑信息模型建模標準資料下載
    立即下載
  • DBJT 45∕T 006-2019 公路工程設計信息模型建模與交付
    所屬分類：建筑文件
    更新時間：2022-09-07
    瀏覽次數(shù)：1
    DBJT 45∕T 006-2019 公路工程設計信息模型建模與交付DBJT 45∕T 006-2019 公路工程設計信息模型建模與交付指南資料下載
    立即下載
建筑工程： 施工組織設計 圖紙 論文 方案 安全資料 工藝 建筑軟件 節(jié)能 專業(yè)資料 合同 交底 文本 建筑考試 教程
園林景觀： 園林施工方案 園林論文 園林考試 園林表格 景觀專業(yè)資料 園林圖紙 景觀設計
暖通空調(diào)： 暖通專業(yè)資料 暖通軟件 技術交底 暖通論文 暖通考試 暖通圖紙 暖通施工方案 暖通軟件
水利工程： 水利施工方案 水利考試 水利專業(yè)資料 水利軟件 水利論文
結構工程： 結構施組方案 結構圖紙 結構軟件 結構課件 工藝工法 結構考試 結構專業(yè)資料 結構論文 其他資料
電氣工程： 電氣施工方案 電氣圖紙 電氣軟件 電氣論文 電氣課件 智能建筑 電氣專業(yè)資料 電氣考試
建筑給排： 給排施組方案 技術交底 給排水專業(yè)資料 污水處理 消防工程 給排水圖紙 給排水論文 給排水軟件
安裝工程： 設備安裝圖紙 安裝工程專業(yè)資料 安裝施組設計 專題
工程造價： 造價法規(guī) 造價視頻 造價指標 建筑造價 造價考試 水利造價 電力造價 裝修造價 其他 安裝造價 路橋造價 市政造價 園林造價 造價軟件 造價表格 清單實例
工程監(jiān)理： 監(jiān)理交底 施工監(jiān)理 監(jiān)理文檔 旁站監(jiān)理 監(jiān)理考試 合同表格 監(jiān)理細則 監(jiān)理大綱 監(jiān)理總結 監(jiān)理月報 監(jiān)理規(guī)劃
路橋工程： 合同表格 路橋工藝 路橋論文 路橋交底 安全資料 路橋標書 路橋?qū)I(yè)資料 路橋軟件 其他資料 路橋圖紙 路橋施工方案 路橋考試
裝飾裝修： 裝修施工方案 裝修圖紙 室內(nèi)設計 施工工藝 裝修技術交底 裝修表格 裝修資料 建筑文庫