سال انتشار: ۱۳۹۰

محل انتشار: اولین همایش منطقه ای رویکردهای نوین در مهندسی کامپیوتر و فناوری اطلاعات

تعداد صفحات: ۶

نویسنده(ها):

جواد اسدی – مدرس موسسه غیرانتفاعی سبلان اردبیل
امین فرحبخش طولی – مدرس موسسه علمی کاربردی طالش

چکیده:

روشهای مورد بحث برای تحلیل و طراحی درسیستمهای مهندسی نرم افزار سنتی استفاده بسیار زیادی از زبان طبیعی و انواع نشانه گذاری های گرافیکی می کنند اگرچه به کارگیری دقیق روشهای تحلیل و طراحی همراه با بازبینی کامل می تواند و مطمئنا منجر به نرم افزار با کیفیتی می شود اما نامرتبی و بی نظمی در بکارگیری این روشها می تواند یکسری مشکلات ایجادکند توصیف غیرصوری سیستم می تواند شامل تضادها، ابهامات، پیچیدگی ها و حالات ناتمام و سطوح مختلفی از انتزاع و تجرید باشند پس بکارگیری روشهای صوری ضروری به نظر می رسد. دراین مقاله ابتدا به بررسی روشهای صوری پرداخته شدها ست و تقریبا بصورت جامع مورد بررسی قرارگرفته است و سپس به معرفی زبانهای صوری پرداخته شده است که دراین پژوهش ما برروی z تاکید کرده ایم.