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