书目名称 | High Assurance Services Computing | 编辑 | Liang-Jie Zhang,Raymond Paul,Jing Dong | 视频video | | 概述 | 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 |
The information of publication is updating
|
|