 | مفتاحأداة التحقق لبرامج Javacard |
| التحميل الان | |
مفتاح الترتيب والملخص
الإعلانات
- رخصة:
- GPL
- السعر:
- FREE
- اسم الناشر:
- The KeY Project
- موقع ويب الناشر:
- http://www.key-project.org
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 1 KB
مفتاح العلامات
مفتاح وصف
أداة التحقق لبرامج Javacard المفتاح هو برنامج مجاني وسهل الاستخدام يوفر أداة تحقق لبرامج JavaCard. نظام المفتاح هو أداة تطوير برامج رسمية تهدف إلى دمج التصميم والتنفيذ والمواصفات الرسمية والتحقق الرسمي للبرامج الموجهة للكائنات بسلاسة قدر الإمكان وبعد متطلبات: Java 1.5 أو الأحدث ما الجديد في هذا الإصدار: إطار التزام دليل موحد تقاسم التزامات دليل عبر لغات المواصفات المختلفة api موحد لإضافة التزامات دليل جديد نفس عناصر واجهة المستخدم الرسومية المستخدمة لجميع لغات المواصفات ترجمة أكثر أناقة \ Old، @ بنيات ما قبل تحسين واجهة مواصفات Javacard DL مواصفات DL ثابتة إعادة كتابة JML الأمامي أشباح المتغيرات / الحقول وبيان مجموعة JML non_null افتراضيا قديم في حلقة ثابتة \ Object_Creation (النوع) في بنود تسوية JML جديد مستقل OCL الواجهة الأمامية دعم التوقف عن تكامل بورلاند معا تحسينات دعم اللغة Java: أنواع Enum (جزئيا) الطبقات الداخلية والمجهولة تعزيز لحلقة حجج طريقة المتغير توقيع طريقة covariant جيل من مواصفات JML يمكن دفع الاستفسارات النقية الصارمة مباشرة إلى تحديث الدليل المستقر التحميل والادخار توجيه ClassPath. مختلف bugfixes.
مفتاح برامج ذات صلة
