روش های رسمی

این صفحه مربوط به دانشجویانی است که درس روشهای رسمی (ّFormal Method) را در این ترم اخذ نموده اند. تمامی مطالب مربوط به این درس، فایل ها و اسلایدهای مربوطه در این صفحه برای دانشجویان قرار داده شده است.

کتاب الکترونیکی مرجع درس

اسلایدهای مربوط به مبانی مهندسی نرم‌افزار

اسلایدهای مربوط به فصل اول

اسلایدهای مربوط به فصل دوم

اسلایدهای مربوط به مبحث موازی سازی

اسلایدهای مربوط به ویژگی‌های زمان خطی

اسلایدهای مربوط به پتری نت