| 書目名稱 | High Assurance Services Computing | | 編輯 | Liang-Jie Zhang,Raymond Paul,Jing Dong | | 視頻video | http://file.papertrans.cn/427/426198/426198.mp4 | | 概述 | Covers service-oriented technologies in different domains including high assurance systems.Assists software engineers from industry and government laboratories who develop mission-critical software, a | | 圖書封面 |  | | 描述 | .Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. .High Assurance Services Computing. captures and makes accessible the most recent practical developments in service-oriented high-assurance systems...An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available results from industry and government, R&D laboratories and academia are included, along with unreported results from the “hands-on” experiences of software professionals in the respective domains...Designed for practitioners and researchers working for industrial organizations and government agencies, .High Assurance Services Computing. is also suitable for advanced-level students in computer science and engineering.. | | 出版日期 | Book 2009 | | 關(guān)鍵詞 | CURRENTSMP; assurance; computing; formal methods; interoperability; modeling; modelling; organization; repli | | 版次 | 1 | | doi | https://doi.org/10.1007/978-0-387-87658-0 | | isbn_softcover | 978-1-4419-4684-3 | | isbn_ebook | 978-0-387-87658-0 | | copyright | Springer-Verlag US 2009 |
The information of publication is updating
|
|