Desing by Contract Utilities Files

Status: Beta

Brought to you by: carlo9890, sascha_hofer

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
dbc-utilities	2006-05-09		0
Totals: 1 Item			0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

Recommended Projects

Kerner Utilities
Commonly used utility classes.
IST-Contract
The aim of the CONTRACT project is to provide new innovative solutions which specifically help bridge the gap between the new large-scale applications in DBEs and the need for sound software and business guarantees for such systems.
Josef
A thin layer of Java code over Sun's Java code to make life easier for developers. Most of the classes are utility classes for example to support checking of method parameters, String methods, Mathematical methods et cetera.
Contract++
Contract Programming Library for C++
Snap for hyperbolic 3-manifolds
Snap (snap-pari) is a computer program for studying arithmetic invariants of hyperbolic 3-manifolds. See: Computing arithmetic invariants of 3-manifolds by Coulson, Goodman, Hodgson and Neumann, Experimental Mathematics Vol.9 (2000) 1.