프로그램별 guml.sf.net

프로그래밍 언어 및 도구 허용: Java, C#,C++,.. 쉬운 코드 생성; 코드 정확성 및 형식 속성을 확인합니다. 목표는 구성 요소의 최대 재사용성을 허용하는 것입니다 (언어의 의존성없이), 뿐만 아니라 그 정확성을 증명하는 것입니다.