Resale Consignment Contract
ContractChecker 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 it.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 28.42 KB | Download (52): ContractChecker Download |
A one-page contract for a buyer/seller to prepare a transaction involving personal property (i.e. electronics, clothing, arts and craft, etc).
Enter the buyer and seller's name and address. This version allows up to four itemized descriptions with a price for each item. Also enter the total...
Platforms: Mac
License: Commercial | Cost: $0.99 USD | Size: 409.6 KB | Download (52): Bill of Sale Download |
This script implements class invariants, pre/postconditions in a way similar to PyDBC, but significantly better.
Platforms: Windows, Mac, *nix, Python, BSD Solaris
License: Freeware | Download (52): Yet another Design By Contract module Download |
A digital storage area for the Contract- and Document-Management in one package.
Important Features:
- Contract-Cancelation per single-mouse-click
- Contract Cancelation Reminder as an external Tool which launches by starting up of the Windows
- Creation of cancelation letter or a simple letter...
Platforms: Windows
License: Shareware | Cost: $192.39 USD | Size: 15.6 MB | Download (51): Contract Manager DiTu Network Edition 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 (51): XJML Download |
This application is designed to help create Contract bridge hands with constrains on points and/ or number of cards per suite for each player. The program is an easy to use Java program which outputs the results in an HTML format (fits an A4 page for easy printing).
Media wiki pages:...
Platforms: Windows, Mac, Linux
License: Freeware | Size: 39.5 KB | Download (51): BridgeDealer Download |
Java Fine Print is a Design by Contract (DbC) tool. Developers add @Invar, @Pre, and @Post annotations to their code. Java Fine Print uses these annotations to generate Java source code that tests for contract violations.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 29.84 KB | Download (51): Java Fine Print 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 |
Merge is the visual file comparison (diff), merging and folder synchronization application from Araxis. Use it to compare and merge source code, web pages, XML and other text files with native application performance. Directly open and compare the text from Microsoft Office (Word and Excel),...
Platforms: Mac
License: Shareware | Cost: $269.00 USD | Size: 28.69 MB | Download (49): Araxis Merge for OS X 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 |
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 573.19 KB | Download (49): C4J - DBC for Java Download |
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 9.41 MB | Download (49): Java Modeling Language (JML) Download |
jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 326.05 KB | Download (49): jContractor Download |
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
License: Freeware | Size: 7.29 MB | Download (49): SpringContracts Download |
This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 299.42 KB | Download (48): C4J Eclipse Plugin Download |
Kwok Information Server is an open source IT management system, providing IT asset tracking (hardware inventory and software license), issue tracking (helpdesk), service contract management, vendor contact management, and knowledge base.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 90.03 MB | Download (48): Kwok Information Server Download |
Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 4.8 KB | Download (48): MetaContract Download |
This is a MATLAB(R) implementation of the ideas discussed in Lopez-Calva, G. and K. Shea, "Fitting Survival Probability Models," WILMOTT Magazine, issue 45, pp. 16-22.We estimate the parameters of three different survival probability models based on credit default swap (CDS) spreads. The...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 10 KB | Download (48): Fitting Survival Probability Models Download |
Function BUTTERFLY (named after the strategy shown on the screenshot) aims to help students and instructors of finance visualize payoffs of simple option strategies. The function allows constructing a portfolio of n < 9 securities, including a (zero-dividend) stock, a (zero-coupon) bond, a...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 10 KB | Download (48): Visualize payoffs of an option strategy 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 |