| hol-ocl. HOR-OCL هو بيئة إثبات تفاعلية لأنظمة القيد الكائن (OCL). |
التحميل الان |
hol-ocl. الترتيب والملخص
- اسم الناشر:
- Achim D. Brucker and Burkhart Wolff
- موقع ويب الناشر:
- http://www.brucker.ch/projects/hol-ocl/
hol-ocl. العلامات
hol-ocl. وصف
HOR-OCL هي بيئة إثبات تفاعلية لأن لغة القيد الكائن (OCL). HOR-OCL هي بيئة إثبات تفاعلية لأن لغة القيد الكائن (OCL). يتم تطبيق مشروع HR-OCL كضمان ضحل ل OCL في مثيل المنطق العالي (HOL) من نظرية النظرية التفاعلية Isabelle. تم تطوير HR-OCL بواسطة Achim D. Broucker و Burkhart Wolff.hol-OCL يسمح لأحد الأسباب في مواصفات OCL، ووضع مواصفات OCL، ويبني أساس دعم الأدوات الإضافي، على سبيل المثال لجيل الاختبار التلقائي. HOR-OCL هو برنامج مجاني؛ يمكنك إعادة توزيعها و / أو تعديلها تحت شروط GPL.
hol-ocl. برامج ذات صلة