رودين منصة تطوير خدمات أنظمة البرمجيات المعقدة يمكن الاعتماد عليها
التحميل الان

رودين الترتيب والملخص

رودين العلامات

تطوير طور منصة التنمية خدمة النظام تطوير خدمة النظام تطوير خدمة النظام

رودين وصف

منصة لتطوير خدمات نظم البرامج المعقدة يمكن الاعتماد عليها Rodin عبارة عن منصة مصدر مجانية ومفتوحة للتنمية الصارمة من حيث التكلفة لخدمات أنظمة البرمجيات المعقدة التي يمكن الاعتماد عليها. يعتمد Rodin على الطريقة الرسمية للوقت - ب ويوفر الدعم الطبيعي للتنقيح والدليل الرياضي. متطلبات: Java 1.5 أو الأحدث ما الجديد في هذا الإصدار: علة 1813657: القائمة REFICTORING غير مرتبطة ب RoFactoring علة 1818464: PO Trivial لا تفريغ علة 1897572: خطأ في مولد التزام الإثبات علة 1919546: P1، PP، M0-M3 غير متوفر كمقرر علة 1948095: استيراد المشاريع الحالية علة 2414463: بناء منشئ ملفات غير رودين علة 2433212: ضعف الأداء تحت KDE علة 2648946: Preced Provers (NewPP، P0) غير قادر على تصريف PO بسيط علة 2656831: الأدلة الادخارية لا تعمل دائما علة 2694492: Prob Widget لا يتم عرضه في إطلاق PROB الثاني علة 2744052: NullPointerException في منشئ على تحسين الدورة علة 2782126: لا يدعم النظام الأساسي الخاص بك القطعة SWT Browser. علة 2827806: ملفات غيبوبة في المخزن المؤقت علة 2836774: محرر النصوص غير قادر على حفظ (استثناء) علة 2844797: عرض هيكل عظمي دليل لا يتكيف مع الحاوية علة 2895507: MH والقواعد الأخرى غير محدد علة 2945276: عرض لوحة المفاتيح Rodin عرض غير موجودة علة 2952087: رودين 1.2 يعزز الخاطئة رودين 1.1 دليل علة 2952090: عند إعادة تسمية سياق، ...

رودين برامج ذات صلة