프로그램별 unimod.sf.net

J2SE, J2EE 및 Sybmian 응용 프로그램에 대한 논리를 구현하기위한 Automata 기반 프로그래밍 도구. 자바 FSM 프레임 워크와 이클립스 플러그인 부품으로 구성되어 있습니다. 플러그인은 이클립스 UML 모델 편집기, 비주얼 디버거, 유효성 검사기, 컴파일러 및 통역사를 구현합니다.