Labor Contract

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box). Platforms: Windows, Mac, Linux

This script implements class invariants, pre/postconditions in a way similar to PyDBC, but significantly better. Platforms: Windows, Mac, *nix, Python, BSD Solaris

An essential step in embedded software development, floating- to fixed-point conversion can be tedious, labor-intensive, and error-prone. System engineers frequently design algorithms in floating-point math, usually double-precision. This format represents the ideal algorithm behavior but takes... Platforms: Matlab

The MLCOVR package provides XML-formatted output that is consistent with the Cobertura Java coverage tool. It uses the MATLAB profile tool along with custom scripts to evaluate lines covered, branches covered, branch types and complexity. It works on a directory and its subdirectories, collecting... Platforms: Matlab

This file has been updated as of 12 March. I believe it is now more accurate and more flexible, but it's still not the real thing. JPMorgan's source code has been made available at www.cdsmodel.com, I have not yet compared my implementation with theirs.This program is still based on the paper by... Platforms: Matlab

At Tribute Media we required the ability to create a simple form that would redirect to a page from a form. In our case, we needed our clients to log into a page which requested a contract ID. Upon entering the contract ID, the user would then be redirected to a form built specially for that... Platforms: PHP

Integrates with Image module to allow image galleries to be displayed as sideshows using the jquery cycle plugin. The module provides the ability to set a different effect for each image gallery along with any jquery arguments or CSS.This module was sponsored by Boombatower Development and... Platforms: PHP

This module allows you to select webform components whose values will be passed to a simple PayPal shopping cart when the form is submitted.This module is still in active development. Although it's considered stable, features may be changed before an official stable version is released.Module... Platforms: PHP

The C4J-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts Platforms: Mac

TuxShop is a modern point of sale and shop management application, that is supported on Linux??a*zNz and/or Microsoft Windows??a*zNz. It is feature packed with stock control and a range of reports, yet still manages to provide an interface that is simpler than a cash register to operate. You can... Platforms: *nix

Dlib is a general purpose cross-platform C++ library designed using contract programming and modern C++ techniques. It is open source software and licensed under the Boost Software License. The introduction contains everything you need to know to get started using the library. However, if you... Platforms: *nix

Whisper is C++ application framework for the Mac and Windows. Unlike most frameworks it takes advantage of the standard library, design by contract, and modern C++ idioms. Platforms: *nix

Proxilla is a Firefox extension that makes it easier for you to connect to your favorite Glype proxies. It comes pre-set with 3 proxies for immediate use and testing. Use the toolbar, browse form, or right click a link for easy Glype proxy access. Proxilla was first thought of on July 7, 2008... Platforms: *nix

An organizational web interface providing student and administrative access with server-side authentication, inventory tracking, contract registration, permissions, and more. Designed to digitally manage the office where musical instruments are temporarily signed out. Originally written for... Platforms: *nix

Service Desk Lite is free ready to use service management software that enables you to manage Service contracts/AMC and customer complaint life cycle from complaint initiation, assignment to closure in a very simple way. For service oriented firms it is very essential to timely respond to... Platforms: Windows, Windows 8, Windows 7, Windows Server

Service Desk Lite is free ready to use service management software that enables you to manage Service contracts/AMC and customer complaint life cycle from complaint initiation, assignment to closure in a very simple way. For service oriented firms it is very essential to timely respond to... Platforms: Windows, Windows 8, Windows 7, Windows Server

This is a fleet management program developed according to market requirements. Warns upon the expiration of revisions, contracts, and insurance. It provides a clear, global and real-time view of the processes required to carry out the transport activity. This program generates email alerts when... Platforms: Windows, Windows 7, Windows Server, Other

TimeKron is your company's all-in-one time solution. Employees can clock in and out through any accessible PC. TimeKron automatically calculates employees' time, tracks tardiness and absenteeism, labor reporting and much more. The system collects data in "Real Time" via three separate...

The aliens from far away galaxies attacked a peaceful town of MyPlayCity. They searched for new sources of energy and labor. The aliens were attracted by beauty and rich variety of PlayCity, so they decided to conquer it and enslave its residents. The true patriots rise in rebellion against the... Platforms: Windows

Graphics4VO is developed for use with CA-Visual Objects (Version 2.0 upto 2.7). It is based on 32-Bit-WINDOWS- API. The library allows development of graphics oriented CA-Visual Objects applications for 32-Bit Windows operating systems. The Graphics Library Graphics4VO includes classes, methods... Platforms: Windows