ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی
Publish place: 10th Annual Conference of Computer Society of Iran
Publish Year: 1383
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,081
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI10_219
تاریخ نمایه سازی: 25 آذر 1390
Abstract:
روش های صوری در مقایسه با روشهای دیگر تولید نرم افزار باعث درک بهتر نیازمندی های کاربر شده و لذا باعث کاهش خطاهای برنامه نویسی می شود در سیستمهای ایمنی - بحرانی کاربرد روشهای صوری به عنوان یک ضرورت محسوب می شود یکی از روشهای ارزیابی مزایای حاصل استفاده از توصیف و وارسی صوری نرم افزار استفاده از تجربیات عملی است دراین مقاله از سیستم آموزش به عنوان یک تجربه عملی استفاده شده و نتایج حاصل از توصیف و وارسی صوری این سیستم و تاثیر استفاده از روشهای تفکیک حالات و ارتقا در توصیف صوری ارایه گردیده است.
Keywords:
Authors
علیرضا روحی
کارشناس ارشد نرم افزار
سیدحسن میریان حسین آبادی
استادیار دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :