Labor Contract
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 (51): 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 |
Time Tracking tool is the quick and simple solution to providing managers with the big picture on how their employees' spend their time and the real labor costs on a project by project basis. This project is SugarCRM installable module. SugarCRM is the world's leading provider of commercial open...
Platforms: Windows, Linux
License: Freeware | Size: 29 KB | Download (49): Blagodir Time Tracking 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 |
Excel Labor Cost Calculator automatically figures employee hourly cost for both hourly and salaried employees. Add in all the taxes, benefits, workers compensation, and any other associated Employer Costs, and your actual hourly cost is displayed. Our Excel based program is easy to use. Just...
Platforms: Windows, Mac, Palm,OS
License: Freeware | Size: 106 KB | Download (70): Free Employee Hourly Cost Calculator 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 |
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 |
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 |
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 |
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 |
ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 536 KB | Download (46): ezContract Download |
Manage subscriptions to the Moodle course, contract with students, educational services, the trajectory of learning, academic groups, individual and group training, student record-books, learning processes, milestones, current and final grades, etc.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 2.23 MB | Download (55): Free Dean's Office for MOODLE 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 |
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 |
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 |
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 |
Modern Jass is a Design by Contract implementation for Java which uses Java 5 annotations, the Pluggable Annotation Processing API (JSR 269), the Compiler API (JSR 199), and the Bytecode Instrumentation API.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 495.14 KB | Download (47): Modern Jass Download |
SaberNet DCS is a labor data collection system, designed to allow organizations to rapidly capture their labor data in real-time. Optimized for bar code input, DCS is the perfect way to automate and improve the accuracy of your time tracking.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 2.07 MB | Download (55): SaberNet DCS Download |