کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875236 | 1441590 | 2018 | 44 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Integrating formal methods into medical software development: The ASM approach
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Integrating formal methods into medical software development: The ASM approach Integrating formal methods into medical software development: The ASM approach](/preview/png/6875236.png)
چکیده انگلیسی
This paper discusses how to integrate the use of a formal approach into the current normative for the medical software development. The rigorous process is based on the State Machine (ASM) formal method, its refinement principle, and model analysis approaches the method supports. The hemodialysis machine case study is used to show how the ASM-based design process covers most of the engineering activities required by the related standards, and provides rigorous approaches for medical software validation and verification.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 158, 15 June 2018, Pages 148-167
Journal: Science of Computer Programming - Volume 158, 15 June 2018, Pages 148-167
نویسندگان
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene,