Programas por guml.sf.net

Linguagem de programação e ferramentas que permitem: geração fácil de código para Java,C#,C++,..; verificar a correção do código e as propriedades formais. O objetivo é permitir a máxima reutilização dos componentes (sem depe