روش‌های صوری و تحلیل منطقی در طراحی سامانه‌های نرم‌افزاری