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

Publish Year: 1382
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,283

This Paper With 12 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

ICEE11_047

تاریخ نمایه سازی: 18 تیر 1391

Abstract:

درمرحله خواسته ها ازمدل آبشاری خواسته هایکاربران جمع آوری و تحلیل شده و سپس دریک سندمدون درجه میگردد این سندپایه به توافق بین تولید کنندگان و مشتریان خواهد بود و بایستی خالی از ابهام باشد به همین دلیل برای تدوین این سند روشهای فرمال ارایه گردیده که براحتی برای مشتریان قابل فهم نبوده و نیاز به آموزش دارد یکی از روشهای قابل فهم کردن متن های مدون فرمال تبدیل متن به نمایش گرافیکی است تا سند خواسته ها ابهام نداشته و برای کاربران و مشتریان هم قابل فهم گردد درنتیجه هزینه نهایی نرم افزار کاهش می یابد بدون آنکه از کیفیت آن کاسته شود دراین مقاله پس از مطالعات اولیه روش مناسبی برای تبدیل متن فرمال انتخابی به نمایش گرافیکی همراه با یک CASE TOOL توضیح داده می شود.

Keywords:

روشهای فرمال - نمایش گرافیکی - مشخصه خواسته ها - تبدیل خودکار - case tool

Authors

محمد داورپناه جزی

دانشگاه صنعتی اصفهان

پیمان هدایتی مبارکه

دانشگاه آزاد اسلامی واحد مبارکه

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • engineering", Add ison-Wesley. Softwareه [1] Sommerville _ (1992), ...
  • _ _ IN Proceedings of IE _ اکمری ب (1995)، ...
  • _ _ _ specification", Second IEEE _ _ _ _ ...
  • th ICEE, May 2003, Vol. 1 ...
  • _ _ (1990), ،Software engineering with student project guidance? Prentice- ...
  • Coad-Yoardon (1990), "Obj ect-Oriented analysis", Prentic-Hall. ...
  • _ _ _ and software _ IEEE _ (1993), _ ...
  • Wing J (1990), "A specifier's introduction to formal methods", IEEE ...
  • th ICEE, May 2003, Vol. 1 ...
  • نمایش کامل مراجع