Maude Development Tools

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.0/5 - ‎1 ‎투표

에 대해 Maude Development Tools

Maude 개발 도구는 이클립스에서 maude 인터프리터 (http://maude.cs.uiuc.edu)를 포함하는 플러그인 세트입니다. 그것은 코어 플러그인을 제공, 어떤 자바 프로그램을 사용할 수 있습니다 Maude, 그리고 이클립스 기반 IDE를 제공 하는 플러그인의 집합