نونا قاسمی - مدرس آموزشکده فنی و حرفه ای سما، دانشگاه آزاد اسلامی واحد تنکابن، ایران

در یک دهه اخیر استفاده از روش های صوری جهت توسعه سیستم های قابل اعتماد به شدت فزونی یافته است. در نتیجه روش های صوری متعددی ارائه شده اند که هر یک کاربردهای خاصی همچون توسعه سیستم های همروند، توزیع شده، بلادرنگ و غیره دارند. مفهوم روش های صوری تعداد بی شماری از تکنیک های علمی را برای مدل سازی و کنترل بسیار دقیق سیستم های جهان واقعی توصیف می نماید. یکی از قدیمی ترین روش های صوری اثبات شده جهت توسعه سیستم های مبتنی بر کامپیوتر، روش صوری VDM است. در این مطالعه، به معرفی روش صوری VDM ، زبان مشخصات VDM-SL و تحقیقات انجام شده در زمینه کاربرد آن ها در مهندسی نرم افزار پرداخته شده است.

روش های صوری، روش VDM، تعیین مشخصات سیستم، زبان VDM-SL