برای اطلاع از آخرین مقالات علمی و اخبار کرونا(COVID-19) کلیک کنید

مشخصات مقاله

عنوان نشریه: 
 
اطلاعات شماره: 
 
عنوان مقاله: 

تعيين سطح توانايي روش هاي رسمي در توصيف و تحليل نرم افزار

 
نویسندگان: 
 
آدرس:  
 
چکیده: 

توسعه دهندگان نرم افزار به دلايل مختلف با مشکل انتخاب روش رسمي متناسب با نرم افزار تحت توسعه روبه رو هستند. هدف ما در اين مقاله تعيين سطح توانايي روش هاي رسمي براي توصيف و تحليل نرم افزارهاي مختلف در چهار قدم است: در قدم اول معيارهايي که روش هاي رسمي با آنها سنجيده مي شوند، معرفي مي شوند. در قدم هاي دوم و سوم انواع نرم افزارها و روش هاي رسمي بر اساس رويکردشان در حل مساله طبقه بندي مي شوند و در قدم چهارم بر اساس معيارهاي تعيين شده در قدم اول، برازندگي و تناسب چند نمونه از روش هاي رسمي براي توصيف و تحليل هر طبقه از نرم افزار تعيين مي شود.

 
کلید واژه: 

 
موضوعات مرتبط: 
-
 
 
مقالات نشریه ای مرتبط:  
 
مقالات همایشی مرتبط: 
 
ارتباط خیلی زیاد ارتباط زیاد مرتبط ارتباط کمتر
 
ارجاعات: 
  • ثبت نشده است
 
استنادات: 
  • ثبت نشده است
 
+جهت ارجاع به این مقاله کلیک کنید(Cite).
APA : کپی

بابامیر، س.، و احمدی ثابت، و. (1391). تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر, 10(1), 3-19. https://www.sid.ir/fa/journal/ViewPaper.aspx?id=180497



Vancouver : کپی

بابامیر سیدمرتضی، احمدی ثابت ویدا. تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر. 1391 [cited 2021November28];10(1):3-19. Available from: https://www.sid.ir/fa/journal/ViewPaper.aspx?id=180497



IEEE : کپی

بابامیر، س.، احمدی ثابت، و.، 1391. تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر, [online] 10(1), pp.3-19. Available: https://www.sid.ir/fa/journal/ViewPaper.aspx?id=180497.



 

 
چکیده انگلیسی بازدید یکساله 205 مباني نظري و تجربي ونداليسم: مروري بر يافته هاي يك تحقيق
 
آخرین های بلاگ
ورود به بلاگ مرکز اطلاعات علمی