| تشتت مجموعة من الأدوات للتحرير، والتحقق من الفحص والتحريك المواصفات الرسمية المكتوبة في لغة مواصفات Z |
التحميل الان |
تشتت الترتيب والملخص
تشتت العلامات
تشتت وصف
مجموعة من الأدوات للتحرير، اكتب الفحص والتحريك المواصفات الرسمية المكتوبة باللغة Z المواصفات يقوم مشروع Community Z Tools (CZT) ببناء مجموعة من الأدوات لتحرير واكتب الفحص والتحريك المواصفات الرسمية المكتوبة في لغة مواصفات Z، مع بعض الدعم ل z extensions مثل Object-Z و Circus و Tcoz. تم بنائها جميع هذه الأدوات باستخدام إطار CZT Java لأدوات Z.إصدارات "Beta-إصدارات أدوات CZT End-Under" المضمنة الآن في إصدارات CZT (تنزيل). يتضمن ذلك محرر Z على جدة يعتمد على تحرير WYSIWYG لتحرير Unicode لإدراج Z، وإدراج القوالب المستندة إلى "علامة Z" للمطاط والتحديد Unicode، على كل Save.czt أيضا لوحة Sidekick التي تعرض هيكلك Z المواصفات، التحويل بين العلامات المختلفة وأكثر من ذلك بكثير. فيما يلي بعض الملامح الرئيسية "CZT": علامة مخطط XML ل Z. دروس Java ل Z أشجار بناء الجملة المشرفين (AST). دروس جافا للتحويل بين XML وجافا AST. Java Libraries للعمليات المشتركة اللازمة في كل أداة Z (محولات التركيز، المحلل، مدقق نوع، إلخ). تم تقديم ورقة تصف هذه في zb2005. محررات Z الرسومية، مع تسهيلات دخول بسهولة رموز Unicode Z بسهولة. نحن حاليا نحن نقدم الإضافات jedit و eclipse. أداة Z الرسوم المتحركة تسمى zlive، مع واجهة مستخدم رسومية قابلة للتخصيص. أدوات التصدير، لإخراج Z في الرموز الأخرى أو لأدوات z الأخرى. إصدارات موسعة من المكتبات والأدوات لدعم امتدادات Z مثل Object-Z والسيرك. متطلبات: جاوة ما الجديد في هذا الإصدار: الكثير من التغييرات والأدوات الجديدة.
تشتت برامج ذات صلة