Contract++ v.0.3.490

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.

C++ Contract Programming (aka Design by ...

  • Contract++
  • 0.3.490
  • 27 Apr 12
  • contractpp
  • N/A
  • Freeware
  • 337 Kb
  • 137
  • Free

Review Contract++

  • captcha
New Miscellaneous software
  • ModCom  v.12.0Free Windows software for Data Acquisition & Control, HMI / SCADA, Industrial Automation, Process Control, and Data Logging. Read data from sensors, turn on/off electrical equipment, output control voltages, count or time events, move stepper motors.
  • .Net OCR Library  v.4.4.0Iron OCR is a .NET OCR library allowing users to convert images and PDF documents back into text using the .NET Framework in C#, F#, or VB.NET.
  • The .Net PDF Library  v. .NET PDF library such as Iron PDF is a software library for C#, VB.NET, and other .NET Framework developers to work with PDFs generating PDFs, editing PDFs, and extracting PDF content within their applications. Supports .Net Core & .Net Framework.
  • Bersoft HTML Print  v.9.09This programmer utility for printing HTML pages and images in an invisible way can be called from your application, passing either the file to print or a file list as a parameter.
  • Contract System  v.1.0Contractor System is a project management written in Java and based on ...
  • ContractChecker  v.0.4.5ContractChecker is a small tool to provide support for some design by contract features to standard Java code.Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile ...