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

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

روشهای صوری، توصیف صوری، زبان توصیف z