Submit Software
  1. Home
  2. Windows
  3. Other
  4. Contract++
  5. Download

Contract++

License: Free ‎File size: N/A
‎Users Rating: 3.8/5 - ‎10 ‎votes

ABOUT Contract++

C++ Contract Programming (aka Design by Contract). All Eiffel features supported: Optional contract compilation; Customizable action on failure; Subcontracting; Old and result values; Block invariants, loop variants. http://contractpp.sourceforge.net

Related Programs

  • ProLOGO - Logo in Prolog Free

    ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).

  • Space Opera Free

    Space Opera is a space colonization game similar to 'Master of Orion' or 'Galactic Civilizations'. You can explore the universe, colonize planets, fight aliens and research technologies. Images were created with Povray and Te

  • Topaz DeJPEG Free

    JPEG compression artifacts substantially affect the quality of any digital image. They can be seen as mosquito noise, blockiness or checkerboarding, and edge artifacts. Topaz DeJPEG is a plug-in that's specifically designed t

  • ACD VideoMagic Free Trial

    ACD VideoMagic lets you share memorable videos of life's great moments without investing a lot of time on digital video production or money on digital video editing software. With ACD VideoMagic digital video software, movies

  • PhotoZoom Pro for Mac Free Trial

    Unhappy about the quality of your digital image enlargements? Resize your images using PhotoZoom Pro 6!BenVista PhotoZoom Pro 6 is software for enlarging digital images, available for OS X 10.6+ and Windows. It is based on

  • 2Bitmap Free Trial

    2Bitmap is a graphics converter allowing you to convert images to gif format from 50 image file types including conversions from gif to bmp, from jpeg to bitmap, from tiff to bmp and so on. The program has no windows interf

  • PDF Stamp Multiple Files With Image Software Free Trial

    This software offers a solution to users who want to stamp multiple PDF files with a watermark. The user simply adds the required files or an entire folder before choosing an image file for the watermark and starting the stam

  • Viking GPS data editor and analyzer Free

    Viking is a free/open source program to manage GPS data. You can import, plot and create tracks and waypoints, show OSM, Terraserver and other maps, see real-time GPS position, get geocaches, control items, etc. It is written

  • OSSIM - Open Source Software Image Map Free

    Open Source Remote Sensing OSSIM project, pronounced "awesome", will leverage existing algorithms/tools/packages from the open source community in construction of the ultimate Remote Sensing/Image Processing/GIS pa

  • Comical Free

    Comical is a portable CBR and CBZ viewer written in C++ using wxWidgets. It supports multiple image formats and uses high-quality image scaling algorithms to fit pages onscreen.