CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

گواهی نمایه سازی مقاله روشهای صوری راهی فراروی مهندسی نرم افزار

عنوان مقاله: روشهای صوری راهی فراروی مهندسی نرم افزار
شناسه (COI) مقاله: ROUDSARIT01_236
منتشر شده در اولین همایش منطقه ای رویکردهای نوین در مهندسی کامپیوتر و فناوری اطلاعات در سال ۱۳۹۰
مشخصات نویسندگان مقاله:

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

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

کلمات کلیدی:
روشهای صوری، توصیف صوری، زبان توصیف z

صفحه اختصاصی مقاله و دریافت فایل کامل: http://www.civilica.com/Paper-ROUDSARIT01-ROUDSARIT01_236.html