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