High Assurance Services Computing

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 capt...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Dong, Jing (Editor), Paul, Raymond (Editor), Zhang, Liang-Jie (Editor)
Format: eBook
Language:English
Published: New York, NY Springer US 2009, 2009
Edition:1st ed. 2009
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Summary: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
Physical Description:XII, 324 p. 130 illus online resource
ISBN:9780387876580