دانلود مقاله ISI انگلیسی شماره 78658
ترجمه فارسی عنوان مقاله

مهندسی مدل محور رسمی سیستم های اطلاعات وخیم

عنوان انگلیسی
Formal model-driven engineering of critical information systems
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
78658 2015 26 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 16908 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 23 روز بعد از پرداخت 929,940 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 12 روز بعد از پرداخت 1,859,880 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 103, 1 June 2015, Pages 88–113

ترجمه کلمات کلیدی
مهندسی مدل محور ؛ روش های رسمی؛ سیستم های بحرانی؛ سیستم های اطلاعاتی؛ مهاجرت داده
کلمات کلیدی انگلیسی
Model-driven engineering; Formal methods; Critical systems; Information systems; Data migration
پیش نمایش مقاله
پیش نمایش مقاله مهندسی مدل محور رسمی سیستم های اطلاعات وخیم

چکیده انگلیسی

Model-driven engineering is the generation of software artefacts from abstract models. This is achieved through transformations that encode domain knowledge and implementation strategies. The same transformations can be used to produce quite different systems, or to produce successive versions of the same system. A model-driven approach can thus reduce the cost of development. It can also reduce the cost of verification: if the transformations are shown or assumed to be correct, each new system or version can be verified in terms of its model, rather than its implementation. This paper introduces an approach to model-driven engineering that is particularly suited to the development of critical information systems. The language of the models, and the language of the transformations, are amenable to formal analysis. The transformation strategy, and the associated development methodology, are designed to preserve systems integrity and availability.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 16908 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 23 روز بعد از پرداخت 929,940 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 12 روز بعد از پرداخت 1,859,880 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.