ارایه یک متامدل خاص حوزه و نحو ذاتی متنی برای برنامه های Rabbit
در طراحی نرم افزار و سخت افزار سیستم های پیچیده، زمان و تلاش بیشتری برای راستی آزمایی آنها صرف می شود در روش های راستی آزمایی رسمی معمولا بدون اینکه…
برنامه های Rabbitمتامدلزبان های خاص حوزه