کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
508755 | 865416 | 2006 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A formal verification framework and associated tools for Enterprise Modeling: Application to UEML A formal verification framework and associated tools for Enterprise Modeling: Application to UEML](/preview/png/508755.png)
چکیده انگلیسی
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computers in Industry - Volume 57, Issue 2, February 2006, Pages 153–166
Journal: Computers in Industry - Volume 57, Issue 2, February 2006, Pages 153–166
نویسندگان
V. Chapurlat, B. Kamsu-Foguem, F. Prunet,