Инструменты сообщества Z - Community Z Tools
В Инструменты сообщества Z (CZT) Инициатива основана на SourceForge проект по созданию набора инструментов для Обозначение Z, а формальный метод полезно в программная инженерия. Инструменты включают поддержку редактирования, проверки типов и анимации Z-спецификаций. Существует некоторая поддержка расширений, таких как Объект-Z и ТХОЗ. Инструменты созданы с использованием Язык программирования Java.
CZT был предложен Эндрю Мартин из Оксфордский университет в 2001.[1]
Рекомендации
- ^ Мартин, Эндрю (25 сентября 2001 г.). «Предложение: проект Community Z Tools (CZT)». ВЕЛИКОБРИТАНИЯ: Оксфордский университет.
внешняя ссылка
- Сайт CZT SourceForge
- Инициатива CZT информация от Эндрю Мартин
- Информация Softpedia
- CZT: фреймворк для инструментов Z Петра Малик и Марк Аттинг (PDF )
 | Этот инструмент для программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |