Chương trình theo guml.sf.net

Ngôn ngữ lập trình và các công cụ cho phép: tạo mã dễ dàng cho Java, C #, C + ,..; xác minh tính chính xác của mã và các thuộc tính chính thức. Mục đích là để cho phép tái sử dụng tối đa của các thành phần (mà không phụ thuộc