نوع فایل:PDF
تعداد صفحات :12
سال انتشار : 1395
چکیده
کیفیت نرم افزار یک امر اساسی در تولید نرم افزار محسوب می شد. وجود طراحی با کیفیت در سیستم های نرم افزاری، در بدست آوردن پارامترهای غیر عملیاتی بسیار مفید خواهد بود. یکی از ابزارهای متداول در طراحی نرم افزار، زبان مدلسازی یکپارچه است. این زبان ذاتا از نقطه ضعف نیمه رسمی بودن رنج می برد. این ضعف در بدست آوردن پارامترهای غیر عملیاتی تاثیرگذار خواهد بود. تلاش ها و تحقیقات بسیاری صورت گرفته تا این زبان نیمه رسمی را به روش های رسمی تبدیل کنند که از میان این تحقیقات میتوان، شبکه پتری را به عنوان نمونه نام برد. در این مقاله الگوریتمی جهت تبدیل نمودار مولفه به شبکه پتری معادل معرفی شده و گام به گام تشریح خواهد شد. با این نگاشت به رسمی سازی زبانمدلسازی یکپارچه پرداخته خواهد شد. با استفاده از رسمی سازی، اعتبارسنجی و ارزیابی پارامترهای غیرعملیاتی مانند بلوغ و قابلیت اطمینان در سیستم مورد طراحی ممکن خواهد بود.
واژگان کلیدی
زبان مدلسازی یکپارچه، نمودار مولفه، شبکه پتری، رسمی سازی، پارامتر غیر عملیاتی
مبلغ قابل پرداخت 6,900 تومان
برچسب های مهم
51 اسلاید، حاوی کلیات (به زبان فارسی)، سنسورگذاری، نمونه سازی و بخشی از خروجیهای دستگاه سانتریفیوژ منابع مورد استفاده: •Milad Aghamolaei, Alireza SaeediAzizkandi, Abbas Ghalandarzadeh,Evaluation of fault rupturepropagation through earth dams subjected to reverse ... ...
حجم فایل : 531.8 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 15 بنام خدا ریاضی چهارم دبستانتقسیم و بخش پذیری تقسیم و بخش پذیریبرای شروع درس ، با یک مثال مبحث را آغاز می کنیم .می خواهیم 17 شکلات را به بسته های 3 تایی تقسیم کنیم .می بینیم که 4 دسته ی 4 تایی درست می شود و یک ... ...
حجم فایل : 5.3 MB نوع فایل : پاور پوینت تعداد اسلاید ها : 68 1 بسم الله الرحمن الرحیم تعيين موقعيت با GPS 2 1 - مفاهيم تعيين موقعيت 2 - آشنايي با روشهاي تعيين موقعيت با اجرام سماوي3 - تشريح روش تعيين موقعيت GPS 4 - تشریح روشهای برداشت اطلاعات با GPS5 – استفاده از GPS ... ...
اگر به یک وب سایت یا فروشگاه رایگان با فضای نامحدود و امکانات فراوان نیاز دارید بی درنگ دکمه زیر را کلیک نمایید.
ایجاد وب سایت یا