| التوفيق بيئة تطوير رسومية مجانية لمجموعات فرعية |
التحميل الان |
التوفيق الترتيب والملخص
التوفيق العلامات
التوفيق وصف
بيئة تطوير رسومية مجانية لمجموعات فرعية UML تعتبر Syspect هي بيئة تطوير رسومية مجانية ومفتوحة لمجموعة فرعية UML مع دلالات رسمية وفقا للغة CSP-OZ-DC. تجمع CSP-OZ-DC بين العملية الجبرية CSP لتحديد سلوك الاتصالات ومعالجتها، والطريقة الكائن Z، والتي تصف البيانات والعمليات، وكالة حساب التفاضل والتكامل المدة للحصول على المتطلبات القائمة على الوقت. يتيح Syspect للمستخدم تصميم المكونات والصف والمحورات. سيتم تحديد المشكلات التي تحدث أثناء تصدير وتحديدها بصريا. بالنسبة لإضفاء الطابع الرسمي على البيانات توفر الأداة إمكانيات مدخلات مختلفة، مثل إدخال رسومي للغة Z. علاوة على ذلك، تضم الأداة محرر For Douger Calculus Formulas. يدعم Syspect توفير النماذج في XMI وكذلك تنسيق البيانات الخاص به. بالإضافة إلى تصدير رسومية لأنواع الصور الشائعة، يدعم مؤشر التوفيق البيئي للتنمية تصدير اللاتكس للحصول على عرض مناسب لمواصفات المواصفات. تقدم Systerpect ترجمة للمواصفات في أحداث المرحلة. يمكن قراءة هذه أدوات فحص النموذج إلى خصائص Verifiy (السلامة) للمواصفات. حاليا، يتوفر اتصال آلي بالمسكرات النموذجية Armc: يمكن التحقق من نموذج Syspect تلقائيا مقابل Formul Formulas Calculus. إذا اكتشف Armc خطأ وإرجاع مثال عداد يتصدر هذا المثال المضاد بطريقة سهلة الاستخدام.
التوفيق برامج ذات صلة