یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
دانلود متن کاملرایگان، با حساب کاربری؛ ثبت نام با گوگل چند ثانیه است
چکیده
چکیده‌ای برای این سند ثبت نشده است.
پایان‌نامه‌های مشابه
پیش بینی قابلیت اطمینان سیستم های نرم افزاری مبتنی بر مولفه با استفاده از خودکارهای واسط
3) شرح موضوع پیشنهادی: (تعریف مساله، فرضیات و هدف....) مقدمه: پیش بینی صفات کیفی سیستم های نرم افزاری از جمله قابلیت اطمینان ، کارآیی در طول فرآیند توسعه نرم افزار و قبل از ساخت آن توجه های زیادی را به خود جذب کرده است [1، 2، 3]. اغلب تکنیک های مورد استفاده برای ارزیابی صفات کیفی
ارائه راهکاری مبتنی بر معماری به منظور بازپیکربندی پویا و ایمن سیستم های نرم افزاری مبتنی بر مولفه
بسیاری از برنامه های کامپیوتری نیازمند اجرای مداوم و بدون وقفه هستند. این شکل از اجرا در مورد برنامه های حیاتی چون پردازشگرهای تراکنش های مالی، سوییچ های مخابراتی، سیستم های کنترل ترافیک هوایی، سیستم های امنیتی نظامی و دیگر سیستم های نیازمند به دسترس پذیری بالا، به مراتب برجسته ت
توصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار ها
چهارچوب ارزیابی و انتخاب بسته های نرم افزاری: روش یک سیستم مبتنی بر اطلاعات ترکیبی
ارزیابی و گزینش بسته های نرم افزاری پروسه ی تصمیم گیری و وقت گیری است. انتخاب بسته ی نرم افزاری نامناسب می تواند پرهزینه باشد و در مقابل پروسه های تجاری و عملکرد سازمان را تحت تاثیر قرار می دهد. در این پروژه ما به توصیف موارد زیر می پردازیم: (1) روشهای کلی و جامع انتخاب نرم افزار
بررسی عوامل کلیدی موفقیت شرکت های نرم افزاری: دوگانگی توسعه سیستم و منبع یابی تکنولوژی
این پژوهش، با هدف تعیین عوامل کلیدی موفقیت شرکت های نرم افزاری انجام شده است. دوگانگی بعنوان یکی از عوامل کلیدی موفقیت شرکت های نرم افزاری شناسایی شد. برای نیل به این منظور پس از بررسی ادبیات پژوهش، شاخص های دوگانگی شناسایی شدند. شاخص ها، شامل سازه های دوگانگی توسعه سیستم، دوگانگ
توصیف و درستی یابی سیستم های بلادرنگ با خودکارهای زمان دار
در سیستم های بلادرنگ بزرگ، به دلایلی مانند پیچیدگی سیستم، عدم درک کامل از سیستم، پایین آوردن نرخ خطاها و غیره، قبل از پیاده سازی سیستم، مدلهایی از این سیستم ها ایجاد میشود و صحت آنها با استفاده از روشهای مختلف درستی یابی سیستم، مورد بررسی قرار می گیرد. از روشهای موجود برای درستی
اسناد مشابه
راهکاری نوین برای جلوگیری از عدم سازگاری در به روز رسانی پویای سیستم های نرم افزاری مبتنی بر وب
به روز رسانی نرم افزار نیاز دارد تا برنامه ی در حال کار متوقف شده، تغییرات در آن اعمال گشته و سپس برنامه از ابتدا آغاز به کار نماید. این چرخه باعث بروز وقفه در اجرای نرم افزارها می شود که برای کاربران نهایی مطلوب نیست. این مساله خصوصا در مورد برنامه های وب که امروزه در اکثر صنایع
قرنطینه سازی تروجان‌های سخت افزاری در پردازنده‌های عام منظوره با روش های نرم افزاری مبتنی بر مترجم
با جهانی شدن فرآیند طراحی و ساخت نیمه هادی، مدارهای مجتمع بهطور فزایندهای به فعالیتهای مخرب و تغییرات آسیبپذیر میشوند. در بسیاری از سامانههای صنعتی، شواهدی در مورد ناامنی بخشهایی از سیستم مشاهده شده است، اما معمولاً تغییر اجزای سیستم و جایگزینی قطعات نامطمئن چندان ساده نیست. در ب
سیستم نرم افزاری تشخیص هوشمند سرطان پوست مبتنی بر اصول پزشکی از راه دور
این مقاله فاقد چکیده میباشد.
رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی
از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. ا
کاربرد روش "تحلیل حالات و اثرات خطا" جهت بهبود جنبه های نرم افزاری و سخت افزاری سیستم اطلاعات بیمارستانی مرکز آموزشی درمانی الزهرا(س) اصفهان
مقدمه: محیط های بیمارستانی از جمله محیط های کاری می باشند که ریسک وقوع اتفاقات با آثار منفی در آنها بالا می باشد. در مورد سیستم اطلاعات بیمارستانی(HIS) نیز باوجود ضرورت این سیستم و تمامی مزایا آن،تحقیقاتی وجود دارد که اثرات منفی کاربردهای تکنولوژی اطلاعات را در بخش مراقبت سلامت ب
ارائه یک روش مبتنی بر افزونگی نرم افزاری سطح دستورالعمل جهت تشخیص خطاهای روند اجرای برنامه درون و بین بلوکی
تجهیزات الکترونیکی در کاربردهای فضایی، می توانند مقاوم یا غیرمقاوم در برابر تشعشعات باشند که به دلیل هزینه و عدم دسترسی در بسیاری از کاربردها، گزینه مناسب، استفاده تجهیزات تجاری رایج (غیرمقاوم) است. استفاده از تجهیزات تجاری رایج در کاربردهایی همچون کاربردهای فضایی به خودی خود، ق