Costs By Contract
Advertisement
Java Modeling Language (JML) v.1.0
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.
Advertisement
Java Fine Print v.1.0
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.
JContractor v.0.1
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.
MetaContract v.0.3
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.
Modern Jass v.20070519
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.
SpringContracts v.1.0
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).
Tinove Timesheet
Tinove T9 is an easy-to-use, efficient timesheet application ideally suited for managing employee attendance and absences, expenses and costs across multiple jobs. Specifically, T9 tracks employee attendance and absences per jobs by hours, and employee ...
CleverPrint v.2016y
CleverPrint may reduce your printing costs by up to 50%: CleverPrint allows you to combine multiple pages on one page, to remove pages before printing or to stop the printing process after checking the output in a preview window.
CleverPrint allows ...
Computek Business Solutions - Financial Edition v.1.0
Having a complete picture of your business finances, profit and cashflow is the job of Computek Business Solutions! Delegate your financial planning to Computek will translate to increased productivity and sales revenue by allowing increased control ...
VS.NETcodePrint 2008 v.9.0
Contract programmers can reduce clients' maintenance costs by using these more informative printouts, and they can reduce clients' down-time by being more speedy when responding to service calls. Companies with in-house programming staffs ...
CleverPrint Tool v.4
CleverPrint may reduce your printing costs by up to 50%: CleverPrint allows you to combine multiple pages on one page, to remove pages before printing or to stop the printing process after checking the output in a preview window.
CleverPrint allows ...
Easy Keyword Pro v.0.1
Easy Keyword Pro helps you to build lists of these permutations automatically - to help you reduce your PPC costs.
Let's look at a simple example to see how this works...
You start with a list of original keywords ...
Advanced Email Verifier v.8.3.1
-Decrease the Internet traffic and save your bandwidth which means you reduce your costs by focusing only on real prospects.
-Quickly connect to a huge database containing millions emails and verify email addresses directly from the database ...
CubeDesigner Professional Edition v.8 5
Main Benefits:
- Reduce transportation costs by optimizing Case Size and Pallet Pattern configuration to ship most products per truck or container.
- Graphic Reports show how to package and load products.
- Advanced 3D ...