دانلود ترجمه مقاله معماری نرم افزار مقاوم در برابر خطا

دانلود ترجمه مقاله معماری نرم افزار مقاوم در برابر خطا
قیمت خرید این محصول
۴۱,۰۰۰ تومان
دانلود رایگان نمونه دانلود مقاله انگلیسی
عنوان فارسی
معماری نرم افزار مقاوم در برابر خطا
عنوان انگلیسی
Fault Tolerant Software Architectures
صفحات مقاله فارسی
32
صفحات مقاله انگلیسی
20
سال انتشار
2003
نشریه
INRIA
فرمت مقاله انگلیسی
PDF
فرمت ترجمه مقاله
ورد تایپ شده
رفرنس
دارد
کد محصول
4070
وضعیت ترجمه عناوین تصاویر و جداول
ترجمه شده است
وضعیت ترجمه متون داخل تصاویر و جداول
ترجمه شده است
رشته های مرتبط با این مقاله
مهندسی کامپیوتر و مهندسی فناوری اطلاعات
گرایش های مرتبط با این مقاله
طراحی و تولید نرم افزار و همچنین گرایش معماری سیستم های کامپیوتری
مجله
موسسه ملی تحقیقات در علم و کنترل کامپیوتر
دانشگاه
ایریسا، دانشگاه beaulieu، فرانسه
کلمات کلیدی
اصلاح معماری، تحمل پذیری خطا، مشخصات رسمی، معماری های نرم افزاری
فهرست مطالب
چکیده
۱ مقدمه
۲ مراحل توسعه نرم افزار
۳ نهایی ساختن خصوصیات تحمل پذیری خطای نرم افزار
۴ اصلاح معماری های نرم افزار مقاوم در برابر خطا
۱ ۴ دسته بندی خصوصیات تحمل پذیری خطا
۲ ۴ اصلاح تکراری معماری
۵ یک مثال
۶ کارهای وابسته (مربوطه)
۷ نتایج
نحوه خرید نسخه پاورپوینت این مقاله
نمونه چکیده متن اصلی انگلیسی
Abstract

Coping explicitly with failures during the conception and the design of software development complicates significantly the designer's job. The design complexity leads to software descriptions difficult to understand, which have to undergo many simplifications until their first functioning version. To support the systematic development of complex, fault tolerant software, this paper proposes a layered framework for the analysis of the fault tolerance software properties, where the top-most layer provides the means for specifying the abstract failure semantics expressed in the initial conception stage, and each successive layer is a refinement towards an elaborated description of a fault tolerant software architecture. We present the logical vehicle that permits reasoning on the equivalence or the compatibility of the various expressions of fault tolerance properties at various abstraction levels. In addition, we propose a mapping schema, which permits the correct transformation of abstract entities into concrete ones, during a refinement process.

نمونه چکیده ترجمه متن فارسی
چکیده
مواجه شدن صریح با خطاها در طول درک و طراحی توسعه نرم افزار،کار و شغل طراح را به طور قابل توجهی پیچیده می کند. پیچیدگی طراحی منجر به دشوار شدن فهم شرح و وصف نرم افزاری می شود که تا اولین ورژن تابعی اش و فعالشان باید متحمل ساده سازی زیادی شوند. برای پشتیبانی از توسعه نرم افزار پیچیده مقاوم در برابر خطا، مقاله حاضر یک چارچوب لایه ای برای تحلیل خصوصیات نرم افزار مقاوم در برابر خطا (تحمل پذیری خطای نرم افزاری) پیشنهاد می کند که بالاترین لایه، وسیله ای برای خلاصه کردن معانی خطای بیان شده در مرحله اولیه درک و فهم بوده و لایه های بعدی، اصلاحی به سمت شرح معماری نرم افزار مقاوم در برابر خطا می باشند. در این مقاله یک ناقل منطقی مطرح می کنیم که امکان استدلال پیرامون هم ارزی یا سازگاری خصوصیات مختلف تحمل پذیری خطا در سطوح تجرید مختلف را فراهم می آورد. به علاوه، یک طرحواره نگاشت پیشنهاد می کنیم که امکان تبدیل درست موجودیت های مجرد به موجودیت های عینی در طول فرایند اصلاح را فراهم می آورد.

بدون دیدگاه