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

سال انتشار: 1382
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,315

فایل این مقاله در 12 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:

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

ICEE11_047

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

چکیده مقاله:

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

کلیدواژه ها:

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

نویسندگان

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

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

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

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • 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 ...
  • نمایش کامل مراجع