Atur cara mengikut guml.sf.net

Bahasa dan alat pengaturcaraan yang membenarkan: penjanaan kod mudah untuk Java,C#,C++,..; mengesahkan ketepatan kod dan sifat formal. Tujuannya adalah untuk membolehkan kebolehgunaan maksimum komponen (tanpa kebergantungan b