커뮤니티 Z 도구

Community Z Tools

CZT(Community Z Tools) 이니셔티브는 소프트웨어 엔지니어링에서 유용한 형식 방법인 Z 표기법용 도구 세트를 구축하기 위한 SourceForge 프로젝트를 중심으로 한다.도구에는 Z 사양의 편집, 타이프 확인 및 애니메이션을 위한 지원이 포함된다.Object-Z, TCOZ 등의 확장에 대한 지원이 있다.툴은 자바 프로그래밍 언어를 사용하여 제작된다.

CZT는 2001년 옥스포드 대학의 앤드류 마틴에 의해 제안되었다.[1]

참조

  1. ^ Martin, Andrew (25 September 2001). "Proposal: Community Z Tools Project (CZT)". UK: University of Oxford.

외부 링크

Stub icon

이 프로그래밍 툴 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.