High Assurance Services Computing

• Corporate Author: SpringerLink (Online service)
• Other Authors: Zhang, Liang-Jie (Editor), Paul, Raymond (Editor), Dong, Jing (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Subjects: Computer science.; Business mathematics.; Computer software > Reusability.; Microprocessors.; Software engineering.; Computer programming.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Business Mathematics.; Performance and Reliability.; Processor Architectures.; Programming Techniques.

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