بری بدی یا گدایی کنی، کمتر مردمو عذاب میدی، مردک مزاحم شغال تحلیل نیازمندیها • تحلیل سامانهها • طراحی نرمافزار • برنامهنویسی • روشهای صوری • وارسی مدل • تست نرمافزار • توسعه نرمافزار • گسترش نرمافزار • نگهداری نرمافزار این نرمافزار توسط تیم نرمافزاری رابرت ماینر تولید شده و http://marioi6blv.mybloglicious.com/14249353/