High Assurance Services Computing

  • Liang-Jie Zhang
  • Raymond Paul
  • Jing Dong

Table of contents

  1. Front Matter
    Pages 1-11
  2. Vladimir Stantchev, Miroslaw Malek
    Pages 1-18
  3. Raymond Paul, Jing Dong, I-Ling Yen, Farokh Bastani
    Pages 19-44
  4. Mohammad Gias Uddin, Mohammad Zulkernine
    Pages 45-63
  5. Raymond Paul, Stefania Brown-VanHoozer, Arif Ghafoor
    Pages 65-87
  6. Jay Bayne
    Pages 103-126
  7. Manuel Peralta, Supratik Mukhpadhyay, Ramesh Bharadwaj
    Pages 145-161
  8. Xiaoxing Ma, S.C. Cheung, Chun Cao, Feng Xu, Jian Lu
    Pages 163-192
  9. Jeff Tian, Suku Nair, LiGuo Huang, Nasser Alaeddine, Michael F. Siok
    Pages 193-217
  10. Mark Robinson, Hui Shen, Jianwei Niu
    Pages 219-240
  11. Longji Tang, Yajing Zhao, Jing Dong
    Pages 241-260
  12. Zhenghua Fu, Jun-Jang Jeng, Hui Lei, Chao Liang
    Pages 261-283
  13. Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai
    Pages 285-311
  14. Back Matter
    Pages 1-11

About this book


High Assurance Services Computing

Jing Dong, Raymond Paul, Liang-Jie Zhang

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.


CURRENTSMP assurance computing formal methods interoperability modeling modelling organization replication techniques service composition service-oriented architecture service-oriented architectures services software web service

Editors and affiliations

  • Liang-Jie Zhang
  • Raymond Paul
  • Jing Dong

There are no affiliations available

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 2009
  • Publisher Name Springer, Boston, MA
  • eBook Packages Computer Science
  • Print ISBN 978-0-387-87657-3
  • Online ISBN 978-0-387-87658-0
  • Buy this book on publisher's site