Overview
- Covers service-oriented technologies in different domains including high assurance systems
- Assists software engineers from industry and government laboratories who develop mission-critical software, and simultaneously provides academia with a practitioner’s outlook on the problems of high-assurance software development
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 chapters)
Keywords
About this book
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.
Reviews
Bibliographic Information
Book Title: High Assurance Services Computing
Editors: Liang-Jie Zhang, Raymond Paul, Jing Dong
DOI: https://doi.org/10.1007/978-0-387-87658-0
Publisher: Springer New York, NY
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag US 2009
Hardcover ISBN: 978-0-387-87657-3Published: 10 June 2009
Softcover ISBN: 978-1-4419-4684-3Published: 05 November 2010
eBook ISBN: 978-0-387-87658-0Published: 28 May 2009
Edition Number: 1
Number of Pages: XII, 324
Number of Illustrations: 130 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Business Mathematics, Performance and Reliability, Processor Architectures, Programming Techniques