Submit Software
  1. Home
  2. Windows
  3. Other
  4. G-UML
  5. Download

G-UML

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT G-UML

Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.

Related Programs

  • XBMC / Boxee Remote Free

    Remote control for XBMC / Boxee.PLEASE UNINSTALL v1.0!!! v3.1* Profiles support in preferences v2.2* Minor bug fix v2.1* Minor bug

  • tksolfege ear training program Free

    Tksolfege is an ear training program for learning to recognize chords, intervals, perform rhythm dictation, solfege dictation and singing solfege sequences. The program requires Tcl/Tk 8.4, however the Windows executable has

  • cfGlitch Free

    cfGlitch is a simple software bug tracking system written in Cold Fusion. It is designed to run on developer's workstations (ideal for consultants) as well as development servers (for development teams).

  • Adv Battery Savior Free

    Battery Widget with estimation battery life. You can optimize battery life with this application to turn off the bluetooh device, wifi device, screen brightness and kill some application that you dont need.

  • AutoIT in Ada Free

    This is an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.

  • btPair Free

    btPair is a Bluetooth Pairing Helper. It is free now.Have you ever been annoyed by Android when you want to pair or unpair a Bluetooth device? Each time going to Settings->Wireless->Bluetooth Setting->Blah Blah...?W

  • phpMD / PHP CodeSniffer Netbeans Plugin Free

    Netbeans PHP Plugin which provides violations detected by PHP Mess Detector (phpmd.org by Manuel Pichler) and warnings / infos from PHP CodeSniffer (http://pear.php.net/package/PHP_CodeSniffer/)

  • Pequel ETL Data Transformation Engine Free

    Comprehensive & high performance data distribution &transformation system. Features a simple, user-friendly event driven scripting interface transparently generates & execs highly efficient Perl/C code. Uses:ETL,d

  • GenealogyGedcom Free

    A Gedcom 5.5.1 compliant version of the 2008 PEAR Genealogy_Gedcom package. This new version will utilize PHP 5.3 and be PEAR2 compliant. Support for Gedcom versions prior to 5.5.1 will be evaluated on request once this relea

  • JInsect Free

    The JINSECT toolkit is a Java-based toolkit and library that supports and demonstrates the use of n-gram graphs within Natural Language Processing applications, ranging from summarization and summary evaluation to text classi