أدوات المجتمع Z.

التحميل الان

أدوات المجتمع Z. الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • السعر:
  • FREE
  • اسم الناشر:
  • Mark Utting and Petra Malik
  • موقع ويب الناشر:

أدوات المجتمع Z. العلامات


أدوات المجتمع Z. وصف

أدوات التحرير، Typechecking والتحريك Z المواصفات ورائعة ذات الصلة يقوم مشروع Community Z Tools (CZT) ببناء مجموعة من الأدوات لتحرير وتشغيل المواصفات الرسمية للمواصفات الرسمية في لغة مواصفات Z، مع بعض الدعم ل z extensions مثل Object-Z و TCOZ. تم بناء جميع هذه الأدوات باستخدام إطار CZT Java لأدوات Z. تم اعتماد لغة مواصفات Z كمعيار ISO في عام 2002. يمكن استخدام المشروع لتحديد متطلبات أو سلوك النظم وتحليل هذا السلوك عبر دليل على الإثبات والرسوم المتحركة وجيل الاختبار وما إلى ذلك. ومع ذلك، يبدو أن أحد أكبر الحواجز التي تحول دون الاستخدام الواسع للغة Z مسألة دعم الأدوات. وقد شيدت المشاريع الثابتة أدوات Z، بعض جودة المنتج ومعظم المشاريع الطلابية. عدد قليل منهم متكامل مع بعضهم البعض؛ قليل من الدعم جميع معيار ISO الجديد؛ لا يزال أقل بناء معا لتشكيل هذا النوع من البيئة المتكاملة التي بدأها المطورون في توقعها. تم تطوير الأفكار الجيدة في النموذج الأولي، ثم فقدت مشاريع قد انتهت وانتقل الطلاب أو الباحثون. يبلغ عدد المرات التي ينشئ فيها طلب محلل Z في مجموعة أخبار Z الكثير من الناس يتم إنتاج الأدوات، معظمها لن ينظر إليهم خارج معهدهم الخاص. الجهد المتكامل ستحرك إلى إعادة توجيه حالة الأدوات، وبالتالي تناول أهداف Z.OUr هي تشجيع التبادل بين أدوات Z الحالية (عبر تنسيق تبادل XML القياسي ل Z)، وتوفير مكتبات مفتوحة المصدر للبناء ودمج أدوات Z الجديدة. البرنامج الذي نقوم به يفعله / سيتضمن: 1. علامات مخطط XML ل Z. انظر إجراءات ZB2003 لصحة تصف العلامة 2. فصول جاوة ل Z أشجار بناء الجملة المشروحة (AST) .3. دروس Java للتحويل بين XML وجافا AST.4. مكتبات Java للعمليات المشتركة اللازمة في كل أداة Z (محولات التركيز، المحلل، مدقق النوع، توسيع المخطط وما إلى ذلك). سيتم تقديم ورقة تصف هذه في zb2005.5. واحد أو أكثر من المحررين Z بسيطة Z، مع مرافق لدخول رموز Unicode الخاصة بسهولة Z. في البداية نحن نستخدم jedit.6. أداة Z الرسوم المتحركة تسمى zlive، مع واجهة مستخدم رسومية قابلة للتخصيص .7. أدوات التصدير، لإخراج Z في الرموز الأخرى أو لأدوات z الأخرى. (مثال، إخراج HTML، إخراج اللاتكس، ترجمة إلى B و JML) .8. إصدارات طويلة من المكتبات والأدوات لدعم امتدادات Z مثل Object-Z و 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 في مجلد Eclipse المستوى الأعلى الخاص بك (الجهاز الذي يحتوي على "ميزات" و "دليل الإضافات")، ثم إعادة تشغيل الكسوف. يمكن استخدام الأمر "الملف / NEW / NEW / Other ... / CZT / CZT" لإنشاء مشروع CZT جديد، ثم "File / New / Z المواصفات" لإنشاء مواصفات z. يوجد دليل CZT في صفحة "مساعدة" مساعدة / مساعدة "Eclipse. يجب عليك أيضا تثبيت خط CZT التالي. cztsans_1_5_0.ttf هي خط Bitstream Vera مع جميع أحرف Unicode لأضاف Z. يجب عليك تثبيت هذا على نظامك بحيث يمكن لمحرر Eclipse و JEDIT عرض أحرف Unicode الصحيحة ل Z. تحذير: على أنظمة Windows قد يتسبب هذا الخط في تحطم بعض برامج Microsoft - على سبيل المثال. يعطي مصمم نموذج Visual Studio خطأ في الوصول إلى الذاكرة غير القانونية إذا تم تثبيت هذا الخط على النظام. czt_1_5_0_src.zip يحتوي على جميع الملفات المصدر CZT، بما في ذلك معلومات SVN. لتجميعها، ستحتاج إلى إصدار حديث من Java و Maven. راجع ملف Install.txt للحصول على التفاصيل.


أدوات المجتمع Z. برامج ذات صلة

ضيق

تجميل .NET Code ينظم تلقائيا أعضاء التعليمات البرمجية والعناصر داخل فصول .NET ...

145

تحميل