Programas por guml.sf.net

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