روشهای صوری راهی فراروی مهندسی نرم افزار
- سال انتشار: 1390
- محل انتشار: اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: ROUDSARIT01_236
- زبان مقاله: فارسی
- تعداد مشاهده: 2795
نویسندگان
مدرس موسسه غیرانتفاعی سبلان اردبیل
مدرس موسسه علمی کاربردی طالش
چکیده
روشهای مورد بحث برای تحلیل و طراحی درسیستمهای مهندسی نرم افزار سنتی استفاده بسیار زیادی از زبان طبیعی و انواع نشانه گذاری های گرافیکی می کنند اگرچه به کارگیری دقیق روشهای تحلیل و طراحی همراه با بازبینی کامل می تواند و مطمئنا منجر به نرم افزار با کیفیتی می شود اما نامرتبی و بی نظمی در بکارگیری این روشها می تواند یکسری مشکلات ایجادکند توصیف غیرصوری سیستم می تواند شامل تضادها، ابهامات، پیچیدگی ها و حالات ناتمام و سطوح مختلفی از انتزاع و تجرید باشند پس بکارگیری روشهای صوری ضروری به نظر می رسد. دراین مقاله ابتدا به بررسی روشهای صوری پرداخته شدها ست و تقریبا بصورت جامع مورد بررسی قرارگرفته است و سپس به معرفی زبانهای صوری پرداخته شده است که دراین پژوهش ما برروی z تاکید کرده ایم.کلیدواژه ها
روشهای صوری، توصیف صوری، زبان توصیف zمقالات مرتبط جدید
- بررسی تاثیر سود آوری بر ساختار سرمایه و سرعت تعدیل اهرم مالی در شرکت های پذیرفته شده در بورس اوراق بهادار تهران
- بررسی تاثیر هوش معنوی بر رفتار برنامه ریزی شده در بین سهام داران یزدی در بورس اوراق بهادار تهران
- بررسی تاثیر دانش مالی، تجربه مالی بر رفتار برنامه ریزی شده در بین سهام داران یزدی در بورس اوراق بهادار تهران
- تاثیر سیستم های اطلاعاتی بر موفقیت شرکت با نقش میانجی کیفیت اطلاعات غیر مالی
- بررسی رابطه بین انگیزش و کارایی در سازمان (مطالعه موردی: اداره راه و شهرسازی شهرستان لارستان)
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.