هذا هو تطبيق Windows المسمى ESpin والذي يمكن تنزيل أحدث إصدار له كـ cn.edu.nuaa.ESpin_1.0.0.201207180004.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى ESpin مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل أي محاكي لنظام التشغيل OnWorks عبر الإنترنت من موقع الويب هذا ، ولكن أفضل محاكي Windows عبر الإنترنت.
- 5. من نظام التشغيل OnWorks Windows الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته.
- 7. قم بتنزيل Wine من مستودعات برامج توزيعات Linux الخاصة بك. بمجرد التثبيت ، يمكنك النقر نقرًا مزدوجًا فوق التطبيق لتشغيله باستخدام Wine. يمكنك أيضًا تجربة PlayOnLinux ، وهي واجهة رائعة على Wine والتي ستساعدك على تثبيت برامج وألعاب Windows الشائعة.
يعد Wine طريقة لتشغيل برامج Windows على نظام Linux ، ولكن بدون الحاجة إلى Windows. Wine عبارة عن طبقة توافق Windows مفتوحة المصدر يمكنها تشغيل برامج Windows مباشرة على أي سطح مكتب Linux. بشكل أساسي ، يحاول Wine إعادة تنفيذ ما يكفي من Windows من البداية حتى يتمكن من تشغيل جميع تطبيقات Windows دون الحاجة إلى Windows بالفعل.
لقطات الشاشة:
إسبين
الوصف:
ESpin ، وهو نموذج قائم على SPIN يقوم بفحص البرنامج المساعد عند Eclipse. يحظى المحرر بالدعم الكامل لقواعد بناء الجملة الخاصة بـ Promela ، كما يوفر وظيفة التعليقات النحوية في الوقت الفعلي ، وإبراز الكلمات الرئيسية ، وعرض المخطط التفصيلي ، وطي الكود ، والتلميح والإكمال ، مما يحسن بشكل كبير من كفاءة النمذجة للنماذج المعقدة. بالإضافة إلى ذلك ، يوفر ESpin وضع تشغيل متعدد وواجهات تكوين فريدة ، مما يبسط عملية تشغيل SPIN.
الجمهور
مهندسو الجودة والمختبرين ومحترفي الأمن
واجهة المستخدم
كسوف
لغة البرمجة
جافا
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/espin/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.