روشهای صوری راهی فراروی مهندسی نرم افزار
Publish place: The first conference on new approaches in computer engineering and information technology
Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 2,837
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ROUDSARIT01_236
تاریخ نمایه سازی: 19 مرداد 1390
Abstract:
روشهای مورد بحث برای تحلیل و طراحی درسیستمهای مهندسی نرم افزار سنتی استفاده بسیار زیادی از زبان طبیعی و انواع نشانه گذاری های گرافیکی می کنند اگرچه به کارگیری دقیق روشهای تحلیل و طراحی همراه با بازبینی کامل می تواند و مطمئنا منجر به نرم افزار با کیفیتی می شود اما نامرتبی و بی نظمی در بکارگیری این روشها می تواند یکسری مشکلات ایجادکند توصیف غیرصوری سیستم می تواند شامل تضادها، ابهامات، پیچیدگی ها و حالات ناتمام و سطوح مختلفی از انتزاع و تجرید باشند پس بکارگیری روشهای صوری ضروری به نظر می رسد. دراین مقاله ابتدا به بررسی روشهای صوری پرداخته شدها ست و تقریبا بصورت جامع مورد بررسی قرارگرفته است و سپس به معرفی زبانهای صوری پرداخته شده است که دراین پژوهش ما برروی z تاکید کرده ایم.
Keywords:
Authors
جواد اسدی
مدرس موسسه غیرانتفاعی سبلان اردبیل
امین فرحبخش طولی
مدرس موسسه علمی کاربردی طالش
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :