| 书目名称 | 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 |
| 关键词 | 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 |