커뮤니티 z 도구 Z 사양 및 애니메이션 편집, TYPECHECKING 및 관련 표기법
지금 다운로드

커뮤니티 z 도구 순위 및 요약

커뮤니티 z 도구 태그

지역 사회 도구 편집 도구 Typechecking 도구

커뮤니티 z 도구 설명

편집 할 수있는 도구, z 사양 및 관련 표기법 및 애니메이션 Community z Tools (CZT) 프로젝트는 z 사양 언어로 작성된 공식 사양을 편집, Typecheck 및 애니메이팅 할 수있는 도구 세트를 구축하고 있습니다. 이러한 도구는 모두 z 도구 용 CZT Java Framework를 사용하여 구축되었습니다. Z 사양 언어는 2002 년 ISO 표준으로 채택되었습니다.이 프로젝트는 시스템의 요구 사항이나 행동을 정확하게 지정하는 데 사용할 수 있습니다. 그러나 증거, 애니메이션, 테스트 생성 등을 통해 그 행동을 분석하지만 Z 사양 언어의 광범위한 사용에 대한 가장 큰 장벽 중 하나가 도구 지원 문제 인 것으로 보입니다 .Many 프로젝트는 z 도구, 일부 제품 품질을 구축했습니다. , 대부분 학생 프로젝트로서. 그들 중 몇 명은 서로 통합되어 있습니다. 모든 새로운 ISO 표준을 지원합니다. 여전히 개발자가 기대하기 시작한 통합 환경의 종류를 형성하기 위해 함께 빌드하기 위해 적게 빌드합니다. 훌륭한 아이디어가 프로토 타입 단계로 개발되었으며, 프로젝트가 완성되고 학생이나 연구원이 이사 왔을 때 손실되었습니다. Z 뉴 뉴스 그룹에서 Z 파서 요청이 발생하는 횟수는 많은 사람들이 도구를 생산하는 데 많은 사람들이 생산하고 있으며, 대부분은 자체 연구소 밖에서 보지 않을 것입니다. 통합 된 노력은 도구의 상태를 전달하므로 Z.OUR 목표의 테이크 업은 기존 Z 도구 (z에 대한 표준 XML 교환 형식을 통해)와 건물에 대한 오픈 소스 라이브러리를 제공하는 것과 상호 교환을 장려하는 것입니다. 새 z 도구를 통합합니다. 우리가 건축하는 소프트웨어는 다음과 같습니다. 1. Z를위한 XML 스키마 마크 업.이 마크 업 2를 설명하는 용지에 대한 ZB2003 절차를 참조하십시오 .2. Z 주석이 달린 구문 트리 (AST) .3의 Java 클래스 .3. XML과 Java AST.4를 변환하기위한 Java 클래스. 모든 Z 도구 (마크 업 컨버터, 파서, 유형 검사기, 스키마 확장 등)에 필요한 공통 작업을위한 Java 라이브러리. 이것들을 설명하는 종이는 ZB2005.5에서 제시 될 것입니다. 하나 이상의 간단한 그래픽 z 편집자는 특수 Z 유니 코드 기호를 쉽게 입력 할 수있는 시설을 갖추고 있습니다. 처음에는 JEDIT.6을 사용하고 있습니다. 맞춤형 그래픽 사용자 인터페이스가있는 ZLive라는 Z 애니메이션 도구 .7. 다른 표기법이나 다른 z 도구에서 z를 출력하는 도구를 내보내는 도구. (예제, HTML 출력, 라텍스 출력, B 및 JML 로의 번역) .8. object-z 및 tcoz와 같은 z 확장을 지원하는 라이브러리 및 도구의 확장 버전. 이 릴리스에서는 새로운 기능 : ·이 릴리스는 z, object-z 및 서커스 공식 사양 언어의 도구를 포함하여 현재 개발중인 모든 CZT 도구의 스냅 샷입니다. · CZT_1_5_0_BIN.jar는 GUI 프로그램 또는 명령 줄 프로그램으로 사용할 수있는 CZT의 이진 릴리스입니다. 예를 들어: · 1. .jar 파일을 클릭하여 CZT GUI를 엽니 다. · 2. 또는 'Java -jar Czt_1_5_0_bin.jar'를 수행하여 CZT GUI를 엽니 다. · 3. 'java -jar czt_1_5_0_bin.jar --help'를 사용하여 명령 줄 인터페이스를 사용하십시오. · CZT_1_5_0_ECLIPSE_PLUGIN.zip은 Eclipse 3.4의 CZT 플러그인입니다. 설치하려면이 .zip 파일을 최상위 Eclipse 폴더 ( '기능'및 '플러그인'디렉토리가 포함 된 것)에있는 톱 수준의 Eclipse 폴더로 압축을 풉니 다. Eclipse를 다시 시작하십시오. · 'file / new / other ... / czt / czt project'명령을 사용하여 새 CZT 프로젝트를 만들고 'file / new / z 사양'을 만들려면 z 사양을 만듭니다. Eclipse '도움말 / 도움말 목차'페이지에는 CZT 설명서가 있습니다. · 다음 CZT 글꼴을 설치해야합니다. · cztsans_1_5_0.ttf는 Z에 대한 모든 유니 코드 문자가있는 비트 스트림 VERA 글꼴입니다. Eclipse 및 Jedit Editors가 Z에 올바른 유니 코드 문자를 표시 할 수 있도록 시스템 에이 작업을 설치해야합니다. Windows 시스템에서는이 글꼴로 인해 일부 Microsoft 프로그램이 크래시 할 수 있습니다. 예. Visual Studio Form Designer는이 글꼴이 시스템에 설치된 경우 잘못된 메모리 액세스 오류를 제공합니다. · CZT_1_5_0_SRC.ZIP에는 SVN 정보를 포함한 모든 CZT 소스 파일이 들어 있습니다. 컴파일하려면 최근 Java와 Maven 버전이 필요합니다. 자세한 내용은 install.txt 파일을 참조하십시오.

커뮤니티 z 도구 관련 소프트웨어