קהילה z כלים כלים לעריכה, appechecking והאנימצעות z מפרטים וסימונים קשורים
הורד עכשיו

קהילה z כלים דירוג וסיכום

קהילה z כלים תגים

קהילה כלים עריכת כלים כלי typechecking

קהילה z כלים תיאור

כלים לעריכה, typechecking ואנימצית מפרטי Z ורישומים הקשורים כלי Z הקהילה (CZT) הפרויקט בונה סט של כלים לעריכה, typechecking ואנימצית מפרטים רשמיים כתוב בשפה מפרט Z, עם תמיכה מסוימת רחבות Z כגון Object-Z ו TCOZ. כלים אלה בנויים כולם באמצעות Java מסגרת CZT כלים Z. שפת מפרט Z אומץ כתקן ISO בשנת 2002. הפרויקט יכול לשמש כדי לציין את הדרישות או התנהגות בדיוק של מערכות , ולנתח התנהגות באמצעות הוכחה, אנימציה, דור מבחן וכו 'עם זאת, אחד המכשולים הגדולים ביותר לשימוש הנרחב של שפת מפרט Z נראה כי הנושא של פרויקטי support.Many כלי יש לבנות כלי Z, חלק איכות המוצר , ביותר כמיזמי סטודנט. מעטים מהם משולבים זה בזה; תמיכה כמה כול תקן ISO החדש; פחות ועדיין לבנות יחד כדי ליצור סוג של סביבה משולבת שהמפתחים מתחילים רעיונות טובים expect.Many פותחו כדי לשלב האבטיפוס, ולאחר מכן אבד כמו פרויקטים סיימו וסטודנטים או חוקרים עברו על. מספר הפעמים בקשה מנתח Z מתעוררת בקבוצת הדיון Z עולה המון אנשים מייצרים כלים, שרובם מעולם יראו מחוץ למכון משלהם. מאמץ משולב יהיה להתקדם למצב של כלים, ובכך המיצוי של מטרות Z.Our הוא לעודד מחלף בין כלי Z הקיימים (באמצעות פורמט XML מחלף תקן Z), וכדי לספק ספריות קוד פתוח לבנייה ושילוב כלי Z החדש. התוכנה שאנו בונים אין / תכלול: 1. סימון XML Schema עבור Z. לראות את ZB2003 הליכי נייר המתאר markup.2 זה. כיתות ג 'אווה עבור עצי תחביר מבואר Z (AST) 0.3. כיתות ג 'אווה להמרה בין XML ו- AST.4 Java. ספריות ג'אווה עבור הפעולות הנפוצות צורך בכל כלי Z (ממירים-סימון, מנתח, סוג בודק, הרחבת סכימה וכו '). נייר המתאר הללו יוצגו ZB2005.5. אחת או יותר פשוט עורך Z גרפי, עם מתקני כניסת סימני unicode Z המיוחדים בקלות. בתחילה אנו משתמשים jEdit.6. כלי אנימציה Z שנקרא ZLive, עם interface.7 משתמש גרפי להתאמה אישית. יצוא כלי, עד ת פלט בסימונים אחרים או לכלי Z אחרים. (לדוגמה, פלט HTML, פלט LaTeX, תרגום ל- B ו- JML) 0.8. גרסאות מורחבות של ספריות וכלים התומכים בתוספים Z כגון Z-Object ו- TCOZ. מה חדש במהדורה זו: · שחרור זוהי תמונת מצב של כל הכלים CZT כי הם בשלבי פיתוח, כולל כלים עבור Z, Object-Z ושפות מפרט רשמי קרקס. · Czt_1_5_0_bin.jar הוא שחרור בינארי של CZT, אשר יכול לשמש כתוכנית GUI או לתוכנית שורת הפקודה. לדוגמה: · 1. לחץ על קובץ ה- jar כדי לפתוח את GUI CZT. · 2. או לעשות 'java-jar czt_1_5_0_bin.jar' כדי לפתוח את GUI CZT. · 3. האם "java-jar czt_1_5_0_bin.jar --help" כדי להשתמש בממשק שורת הפקודה. · Czt_1_5_0_eclipse_plugin.zip הוא תוסף CZT עבור Eclipse 3.4. כדי להתקין אותו, פשוט לפתוח קובץ zip לתוך תיקיית אקליפס ברמה העליונה (אחד המכיל את "תכונות" ו "תוספים" ספריות), ולאחר מכן הפעל מחדש אקליפס. · ככל שניתן להשתמש בהם "קובץ / חדש / אחר ... / CZT / CZT פרויקט" הפקודה כדי ליצור פרויקט CZT החדש, ולאחר מכן "קובץ / חדש / Z מפרט" כדי ליצור מפרטים Z. יש מדריך CZT בדף "תוכן עזרה / עזרה" אקליפס. · כמו כן כדאי להתקין את גופן CZT הבא. · CZTSans_1_5_0.ttf הוא הגופן Bitstream Vera עם כל תווי Unicode עבור Z הוסיף. אתה חייב להתקין את זה על המערכת שלך, כך העורכים אקליפס ו jEdit יכול להציג את התווים Unicode הנכון אזהרה ז: על מערכות Windows גופן זה עלול לגרום כמה תוכניות Microsoft לקרוס - למשל. מעצב סטודיו בצורה ויזואלית נותן שגיאת גישת זיכרון בלתי חוקית אם גופן זה מותקן על המערכת. · Czt_1_5_0_src.zip מכיל את כל קבצי המקור CZT, כולל מידע SVN. כדי לקמפל את זה, תצטרך גרסה עדכנית של Java ו מייבן. ראה את קובץ INSTALL.txt לפרטים.

קהילה z כלים תוכנה קשורה