Contract
Class::Contract - Design-by-Contract OO in Perl. SYNOPSIS package ClassName use Class::Contract; contract { inherits BaseClass; invar { ... }; attr data1; attr data2 => HASH; class attr shared => SCALAR; ctor new; method methodname; pre { ... }; failmsg Error message; post...
Platforms: *nix
License: Freeware | Size: 26.62 KB | Download (114): Class::Contract Download |
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.
Platforms: Windows, Mac, BSD, Linux
License: Freeware | Size: 2.67 MB | Download (45): IST-Contract Download |
PHP Design by Contract provides a basic implementation of contract programming in PHP 5.3+. The base Contract class allows new or existing classes to define properties as protected Attributes and methods as Routines, which require argument type/class validation, aswell as PreCondition and...
Platforms: Windows, Mac, Linux
License: Freeware | Size: 31.24 KB | Download (46): PHP Design by Contract Download |
autovaca is a probabilities simulator for contract bridge with a Web interface. autovaca game helps the user explore the probabilities of the presence of cards in each hand, color, and point lengths, as new information is learned during bidding and playing. Enter known cards and properties of...
Platforms: *nix
License: Freeware | Size: 30.72 KB | Download (111): autovaca Download |
Display a folder tree of your pages that is easy to expand and contract on your Dashboard. Designed for people that use Wordpress as a content management system.The idea came from developing a site with over 50 pages in multiple folders and it became impossible to follow which page was where in...
Platforms: PHP
License: Freeware | Size: 71.68 KB | Download (46): Easily navigate pages on dashboard Download |
Role Contracts creates a new content-type, 'Role Contract', which consists of terms/conditions that a user must agree to by clicking a check-box and/or typing ACCEPT in a text box, after which they will be granted a role associated with the Contract.The contracts can have expiration dates, and...
Platforms: PHP
License: Freeware | Size: 10 KB | Download (47): Role Contracts Download |
This module makes resizable textarea fields expand and contract dynamically using javascript as you enter or delete text. Inspired by the comment fields in BaseCamp.This module is developed by Henrik SjdoTAkvist.
Platforms: PHP
License: Freeware | Size: 10 KB | Download (49): Textarea Expander Download |
The Candidate Utility Program (CUP) provides the ability to calculate different job opportunities for specific employment types. Whether your searching for Full-Time, Contract-W2, or Contract-1099, you can calculate your Projected Salary, Employment Hours, Taxes, Social Security, Insurance, etc....
Platforms: Windows
License: Freeware | Size: 120 KB | Download (240): Candidate Utility Program (CUP) Download |
The (RUP) provides the ability to calculate different recruiting opportunities, for specific employment types. Whether your recruiting for Permanent Placement, or Contract Placement, you can calculate your Placement Fee + Bonus, Contract Hours, Gross and Net Income, Spread, Burden Rate, etc. We...
Platforms: Windows
License: Freeware | Size: 120 KB | Download (310): Recruiter Utility Program (RUP) Download |
ManageEngine FacilitiesDesk is a web based Maintenance and Facilities Management Software with asset management capabilities. The facilities management software offers you an integrated package for managing your facilities, from maintenance to space, property and move management to resources...
Platforms: Windows, *nix
License: Freeware | Size: 43 MB | Download (681): ManageEngine FacilitiesDesk Download |
ManageEngine ServiceDesk Plus is a web based, easy to use Help Desk and Asset Management software which integrates Ticketing, Asset Tracking, Purchasing, Contract Management and Knowledge Base in one low-cost package. ServiceDesk Plushas a ITIL ready version which gives you the ability to improve...
Platforms: Windows, *nix
License: Freeware | Size: 36.13 MB | Download (1093): Adventnet ManageEngine ServiceDesk Plus Download |
8 images of various tasks performed by United Space Alliance under the Space Flight Operations Contract. Images include Launch, Landing, and on-Orbit photos of the Space Shuttle, as well as Shuttle Processing and Mission Control.
Platforms: Windows
License: Freeware | Size: 934 KB | Download (120): Space Flight Operations Download |
Sharpen your skills at the Bridge table with this simple, fun and easy-to-use game of Contract Bridge. You play for the South and North hands (We) while the computer plays for East and West (They). Features include: A unique and easy-to-use auction bidding dialog; Computer generated score sheet...
Platforms: Windows
License: Freeware | Size: 102 KB | Download (238): Quick Bridge Download |
Sub::Assert - Design-by-contract like pre- and postconditions, etc. SYNOPSIS use Sub::Assert; sub squareroot { my $x = shift; return $x**0.5; } assert pre => $PARAM[0] >= 1, # for the sake of simplicity post => $VOID or $RETURN <= $PARAM[0], sub => squareroot, context => novoid,...
Platforms: *nix
License: Freeware | Size: 6.14 KB | Download (92): Sub::Assert Download |
Contract bridge card game software. With more than 53 billion billion deals, Bridge Baron offers you the most complete, easiest-to-use bridge software. Five-card majors, SAYC, Precision, 2/1, Acol, and other bidding systems. Tournaments. Bridge Match against another person or the computer....
Platforms: Mac
License: Freeware | Size: 28.3 MB | Download (501): Bridge Baron for Mac OS Download |
D3-Explorer is specially designed as a plugin for Eclipse that facilitates the use of Design by Contract in the development process.
This is done by automating the creation and synchronization of types and their contracts. It works in combination with the DbC framework C4J.
Platforms: Windows
License: Freeware | Download (55): D3-Explorer Download |
XJML is a simple, accessible and useful tool that can actually read one Java class and its contract (written in XML) and then execute the a verification technique.
The following verification technique is executed:
· Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
· Extended...
Platforms: Windows
License: Freeware | Download (45): XJML Download |
The program allows creating documents (application, contract and questionnaire) by non-state pension fund agent to transfer state pension from Russian State Pension Fund (PFR) into non-state pension funds. Software supports data export and import, mass document printing and stipulates link to...
Platforms: Windows
License: Freeware | Size: 450 KB | Download (49): iPension - Agent NPF Download |
A suite of tools designed to help you manage and get the most out of the LG Optimus 3D mobile phone
Platforms: Windows, Edition 2005,Edition 2005
License: Freeware | Size: 585 KB | Download (46): LG Optimus 3D Contract Mobile Tools Download |
Forex Tomorrow Prediction Software is designed for Internet day traders to use as a tool to predict stock market,
forex and futures contract prices. The easy-to-use program requires a file of recent Open, High, Low and Close data,
along with a current opening price quote.
Platforms: Windows
License: Freeware | Size: 829 KB | Download (53): EasyHideIP.com Forex Tomorrow Prediction Download |