TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!
形式化方法在構件組裝實時系統中的應用研究(簡體書)
滿額折

形式化方法在構件組裝實時系統中的應用研究(簡體書)

人民幣定價:50 元
定  價:NT$ 300 元
優惠價:87261
領券後再享88折
海外經銷商無庫存,到貨日平均30天至45天
可得紅利積點:7 點
相關商品
商品簡介

商品簡介

隨著軟件系統複雜性的增加、規模的擴大,以及軟件開發機構對開發成本、開發週期要求的提高,繼面向對像開發方法之後,基於構件的軟件開發( Component - Based Software Development,簡稱CBSD)方法(1,2),即將外部開發的構件集成到具體應用環境中來構建面向特定應用的軟件系統,已經成為當前軟件領域的主流技術和研究熱點。這種CBSD的思想將製造業中的組裝生產模式引人軟件開發中,為軟件裝配定制提供了理論和技術基礎。CBSD不僅僅能避免大量的重複勞動,減少財力浪費,提高生產效率,還能促進分工合作,顯著提高軟件產品的質量。因此,構件技術在軟件開發過程中得到了越來越廣泛的應用,並逐漸滲透到諸如航空航天、軍事過程控制等領域的實時系統開發中。
實時系統(real-time systems)是指能對來自所控制的外部環境(物理過程)的交互作用做出及時響應以達到預定目的的計算機系統,是一種定量的反應式系統。如過程控制、指揮通信、鐵路調度、敏捷製造、核反應堆等很多計算機控制系統都屬於實時系統。這類系統的任何一個錯誤都會帶來不可預料的經濟損失、環境破壞,甚至威脅到生命安全。2003年8月14日,在美國電力檢測與控制管理系統中,由於分佈計算機系統試圖同時訪問同-資源引起軟件失效,造成美國東北部大面積停電損失超過60億美元; 2009年9月14日,由於空管軟件中的時鐘管理缺陷,美國洛杉磯機場400餘架飛機與機場指揮系統度失去聯繫,給幾萬名旅客的生命安全造成威脅。

您曾經瀏覽過的商品

購物須知

大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。

特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。

無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。

為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。

若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

優惠價:87 261
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區