هذا هو تطبيق Linux المسمى Contract++ والذي يمكن تنزيل أحدث إصدار له باسم Contractpp_0_4_1.zip. يمكن تشغيله عبر الإنترنت في موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Contract ++ مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
عقد ++
الوصف
**** تم نقل هذه المكتبة إلى دفعة ****موقع جديد: https://github.com/boostorg/contract
برمجة العقود C ++ (ويعرف أيضًا باسم التصميم حسب العقد أو DbC).
دعم جميع ميزات Eiffel: التعاقد من الباطن ، وقيم ما بعد الشرط القديمة وقيم النتائج ، وتجميع العقد الاختياري ، وإجراء قابل للتخصيص عند فشل التأكيد ، ومتغيرات الكتلة ، ومتغيرات الحلقة ، وما إلى ذلك.
بالإضافة إلى المحددات الافتراضية ، وفحص المفهوم ، والمعلمات المسماة.
انظر: http://contractpp.sourceforge.net
المميزات
- دعم الشروط المسبقة ، والظروف اللاحقة ، وثوابت الفئة ، وثوابت الكتلة ، ومتغيرات الحلقة.
- الفئات المشتقة من العقد من الباطن (مع دعم الوظائف الافتراضية البحتة والوراثة المتعددة).
- الوصول إلى القيم القديمة للتعبير والدالة التي ترجع القيمة في الشروط اللاحقة.
- التجميع الاختياري والتحقق من الشروط المسبقة ، والظروف اللاحقة ، وثوابت الفئة ، وثوابت الكتلة ، ومتغيرات الحلقة.
- إجراءات قابلة للتخصيص عند فشل تأكيد العقد (تنتهي افتراضيًا ولكن يمكن أن يتم طرحها أو خروجها أو ما إلى ذلك).
- المحددات الافتراضية.
- التحقق من المفهوم.
- المعلمات المسماة.
الجمهور
المطورون ، مهندسو الجودة
لغة البرمجة
إيفل ، سي ++
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/contractpp/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
