أدوات المجتمع Z
تعتمد مبادرة أدوات Z المجتمعية ( CZT ) على مشروع SourceForge لبناء مجموعة من الأدوات لترميز Z ، وهو أسلوب رسمي مفيد في هندسة البرمجيات . تشمل هذه الأدوات دعمًا لتحرير مواصفات Z والتحقق من أنواعها وتحريكها. كما توفر بعض الدعم لإضافات مثل Object-Z و TCOZ . وقد بُنيت هذه الأدوات باستخدام لغة برمجة Java .
تم اقتراح CZT من قبل أندرو مارتن من جامعة أكسفورد في عام 2001. [ 1 ]
مراجع
- ↑ مارتن، أندرو (25 سبتمبر 2001). "مقترح: مشروع أدوات المجتمع Z (CZT)" . المملكة المتحدة: جامعة أكسفورد .
روابط خارجية
- موقع CZT على منصة SourceForge
- معلومات عن مبادرة CZT من إعداد أندرو مارتن
- معلومات من سوفتبيديا
- CZT: إطار عمل لأدوات Z من تأليف بيترا مالك ومارك أوتينغ ( ملف PDF )
فئات :
- 2001 مؤسسة في إنجلترا
- برنامج 2001
- رمز Z
- مشاريع بحثية
- برنامج مجاني مكتوب بلغة جافا
- قسم علوم الحاسوب، جامعة أكسفورد
- أدوات برمجة الحاسوب