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

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

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 70 تومان 23 روز بعد از پرداخت 1,183,560 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 140 تومان 12 روز بعد از پرداخت 2,367,120 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

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 کلمه می باشد.

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 70 تومان 23 روز بعد از پرداخت 1,183,560 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 140 تومان 12 روز بعد از پرداخت 2,367,120 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.