Инструменты сообщества Z
 | Эта статья в значительной степени или полностью опирается на один источник . ( апрель 2024 г. ) |
Инициатива Community Z Tools ( CZT ) основана на проекте SourceForge по созданию набора инструментов для Z-нотации , формального метода , полезного в разработке программного обеспечения . Инструменты включают поддержку редактирования, проверки типов и анимации спецификаций Z. Имеется некоторая поддержка таких расширений, как Object-Z и TCOZ . Инструменты созданы с использованием языка программирования Java .
CZT был предложен Эндрю Мартином из Оксфордского университета в 2001 году. [1]
Ссылки
[ редактировать ]- ^ Мартин, Эндрю (25 сентября 2001 г.). «Предложение: Проект Community Z Tools (CZT)» . Великобритания: Оксфордский университет .
Внешние ссылки
[ редактировать ]- Сайт CZT SourceForge
- Информация об инициативе CZT от Эндрю Мартина
- Информация в мягкойпедии
- CZT: Фреймворк для Z Tools , Петра Малик и Марк Уттинг ( PDF )
 | Эта инструментам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |