 | hol-ocl. |
| التحميل الان | |
hol-ocl. الترتيب والملخص
الإعلانات
- رخصة:
- GPL
- السعر:
- FREE
- اسم الناشر:
- Achim D. Brucker and Burkhart Wolff
- موقع ويب الناشر:
- http://www.brucker.ch/projects/hol-ocl/index.en.html
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 4.6 MB
hol-ocl. العلامات
hol-ocl. وصف
HOL-OCL - بيئة إثبات تفاعلية لأنظمة القيد الكائن (OCL) HOR-OCL هي بيئة إثبات تفاعلية لأن لغة القيد الكائن (OCL). يتم تطبيق HOR-OCL كضمان ضحل لل OCL في مثيل المنطق العالي (HOL) من النظيرة التفاعلية PROVER ISABELLE.HOL-OCL يسمح للآخرين لتحسين مواصفات OCL، والسبب في مواصفات OCL، ويبني الأساس لمزيد من الأدوات الدعم، على سبيل المثال لجيل الاختبار التلقائي.
hol-ocl. برامج ذات صلة
indirect_variables.
indirect_variables - التوضيح حول كيفية استخدام التوسع غير المباشر لمتغيرات الباش ...
1 KB
