توصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت

یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها

چکیده ندارد.

مقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure

کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...

رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی

از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

ارزیابی میزان تطابق مولفه‌های نرم افزاری سیستم های اطلاعات سلامت با معیارهای کیفیت نرم افزار

Abstract: The impacts of employing healthcare information systems in decreasing the admission and discharge time, patient transfer time, the internal clashes and clinical applications, time to get answers and refer to previous data file, increasing information and request accuracy, accelerating the communication between hospital wards, increasing patient satisfaction, providing better quality s...

توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی

-

شبیه سازی سیستم های الکتریکی دکل های حفاری نفت جهت ارتقاء حفاظت سیستم های الکتریکی و تسریع عیب یابی سیستم با استفاده از نرم افزار Dig SILENT