JML لغة البرمجة التي تم إنشاؤها لمساعدتك في تطوير Java الخاص بك
التحميل الان

JML الترتيب والملخص

JML العلامات

لغة برمجة تطوير شفرة النصي لغة تطوير جافا

JML وصف

لغة النمذجة JML أو Java، هي لغة مواصفات واجهة سلوكية يمكن للمستخدم استخدامها لتحديد سلوك وحدات Java. تجمع اللغة بين التصميم من خلال نهج العقد من Eiffel ونهج المواصفات القائمة على النموذج لعائلة Larch من لغات مواصفات الواجهة. كما أنه يتميز ببعض العناصر من حساب التفاضل والتكامل.

JML برامج ذات صلة