کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
433299 | 1441662 | 2015 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Developing correct, distributed, adaptive software
ترجمه فارسی عنوان
توسعه نرم افزار صحیح، توزیع شده، تطبیقی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
زبان های کره ای انطباق، تفسیر چکیده
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
• We develop a methodology for verifying distributed, adaptive software systems.
• The cornerstone of our framework is the use of choreography languages.
• We integrate also different techniques based on abstract interpretation and on dynamic verification.
We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Workflow Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verification are integrated in our framework to reduce the complexity of verification.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 97, Part 1, 1 January 2015, Pages 41–46
Journal: Science of Computer Programming - Volume 97, Part 1, 1 January 2015, Pages 41–46
نویسندگان
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro,