G-UML

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

acerca de G-UML

Lenguaje de programación y herramientas que permiten: fácil generación de código para Java, C, C++,..; verificar la corrección del código y las propiedades formales. El objetivo es permitir la máxima reutilización de los componentes (sin dependencia del lenguaje), así como demostrar su corrección.