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

محل انتشار: چهاردهمین کنفرانس دانشجویی مهندسی برق ایران

تعداد صفحات: ۱۳

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

امین فرحبخش طولی – دانشگاه آزاد اسلامی واحد قزوین
جواد اسدی – دانشگاه آزاد اسلامی واحد قزوین

چکیده:

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