Overture 프로젝트는 다양한 VDM 모델링 도구(비엔나 개발 방법)의 통합을 지원하기 위해 오픈 소스 Eclipse 플러그인 세트를 개발하고 있습니다. 목표는 기존의 모든 VDM 도구 와 언어 방언에 대한 지원을 제공하는 것입니다.
버전 기록
- 버전 Overture_IDE 에 게시 2011-02-27
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2011-02-27
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: www.overturetool.org
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows