یادش بخیر تیکا
نمیدونم الان این تاپیکو میبینی یا نه ولی دلم برا اون روزا تنگ شد یهویی
جوابو میذارم تا آیندگان هم استفاده کنند روش های رسمی: زبانهای متداول جهت توصیف رسمی مدلها Z ، CSP، B ، VSM وLarch را نام برد. روش های شبه رسمی : مانند شبکههای بیزیَن و پتری. روش های غیر رسمی : مانند SSADM.