| Crocopat Crocopat הוא כלי עבור חישוב יחסי פשוט ויעיל. |
הורד עכשיו |
Crocopat דירוג וסיכום
- אתר האינטרנט של המוציא לאור:
- http://mtc.epfl.ch/~beyer/CrocoPat/
Crocopat תגים
Crocopat תיאור
Crocopat הוא כלי לחישוב יחסי פשוט ויעיל. Crocopat הוא כלי עבור חישוב יחסית פשוטה ויעילה. שאילתה הפשוטה והאקספרסיבית שלה ושפת מניפולציה מבוססת על חשבון פרדיקט ראשון. היישום מבוסס על דיאגרמת החלטה בינארית (BDD), הידועה בתור ייצוג קומפקטי של יחסים גדולים באימות בעזרת מחשבים. Crocopat קל להשתלב עם כלים אחרים כי זה קורא ו כותב יחסים ועד קבצים בפורמט פשוט Tuple.com והערכה של מערכות תוכנה גדולות.נאי ניתוחים מבניים של מערכות תוכנה יכול להיות רשמי כמו שאילתות יחסיים, למשל זיהוי של דפוסי עיצוב, של דפוסי עיצוב בעייתי, של שיבוטים קוד, של קוד מת, ושל הבדלים בין הארכיטקטורה המובנית לבין התוכנית. באמצעות היעילות שלה ושפתו הבועה, Crocopat מאפשרת ניתוחים חשובים כמעט של מערכות תוכנה בעולם שאינן אפשריות עם כלי ניתוח גרפים אחרים, בפרט ניתוחים הכוללים סגרים טרנזיטיביים וזיהוי דפוסים בגרפים. ברמה גבוהה BDD Pack.While חבילות BDD רגיל לספק פעולות עבור מניפולציה יחסים על סיביות, ספריית Crocopat מאפשר מניפולציה של יחסים מעל מחרוזות. הוא משחרר מתכנתים של מיפוי מחרוזות קידודים בינאריים ומשתני משתמש למשתנות BDD.What חדש במהדורה זו: · רק פעילויות תחזוקה (להפוך אותו זמין עבור MacOs, תיקוני באגים).
Crocopat תוכנה קשורה