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