التقاط البيانات
DataTacapture هي حزمة TCL / TK للحصول على البيانات خارج المؤامرات العلمية (أو من أي مؤامرة أخرى لهذه المسألة). ...
 | المسككcrocopat هو أداة لحساب علاقات بسيطة وفعالة. |
| التحميل الان | |
المسكك الترتيب والملخص
الإعلانات
- رخصة:
- GPL
- السعر:
- FREE
- اسم الناشر:
- Dirk Beyer
- موقع ويب الناشر:
- http://mtc.epfl.ch/~beyer/CrocoPat/
المسكك العلامات
المسكك وصف
Crocopat هي أداة للحساب العلائقي البسيط والفعال. Crocopat عبارة عن أداة للحساب العلائقي البسيط والفعال. Relsational Computation.crocopat معالجة العلاقات بأي قائر، بما في ذلك الرسوم البيانية (وهي العلاقات الثنائية). تعتمد لغة الاستعلام والتلاعب البسيطة والتعبيرية على حساب التفاضل والتكامل المسند الأول. يعتمد التنفيذ على مخطط بنية البيانات الثنائية (BDD)، المعروف جيدا باسم تمثيل مدمج للعلاقات الكبيرة في التحقق بمساعدة الكمبيوتر. من السهل دمج COROCOPAT مع الأدوات الأخرى لأنه يقرأ ويكتب العلاقات من وإلى ملفات في تنسيق Tuple بسيط.comPreehension وتقييم أنظمة البرامج الكبيرة. يمكن إضفاء الطابع إضفاء الطابع رسمي إضفاء الطابع رسمي إضفاء الطابع الرسمي على التحليل الهيكل للبرامج. أنماط التصميم، من أنماط التصميم الإشكالي، من Code Flones، من التعليمات البرمجية الميتة، والاختلافات بين العمارة المصممة على النحو المصممة. من خلال كفاءتها ولغتها التعبيرية، تتيح Crocopat تحليلات مهمة عمليا لأنظمة البرامج العالمية الحقيقية غير الممكنة مع أدوات تحليل الرسم البياني الأخرى، ولا سيما التحليلات التي تنطوي على إغلاقات متعدية والكشف عن الأنماط في الرسوم البيانية. حزمة BDD رفيعة المستوى.While توفر حزم BDD القياسية عمليات التلاعب بالعلاقات على البتات، وتسمح مكتبة Crocopat لمعالجة العلاقات على السلاسل. وهو يخفف من مبرمجات رسم الخرائط إلى الترميزات الثنائية ومتغيرات المستخدمين لمتغيرات BDD.ما الجديد في هذا الإصدار: فقط أنشطة الصيانة (اجعلها متاحة ل MacOS، إصلاحات الأخطاء).
المسكك برامج ذات صلة
