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