Released: August 05, 2012
|
Added: August 05, 2012 | Visits: 455
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
Released: October 14, 2012
|
Added: October 14, 2012 | Visits: 443
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
Released: December 06, 2012
|
Added: December 06, 2012 | Visits: 360
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
Released: June 03, 2012
|
Added: June 03, 2012 | Visits: 289
ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.
Platforms: Windows, Mac, Linux
Released: December 13, 2012
|
Added: December 13, 2012 | Visits: 529
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
Released: September 05, 2012
|
Added: September 05, 2012 | Visits: 476
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
Released: November 08, 2012
|
Added: November 08, 2012 | Visits: 585
Promote game development in general for Iowa State University students, and to get them involved with the internet game development community. We'll be writing many game tutorials and sample games.
Platforms: Windows, Mac, Linux
Released: November 10, 2012
|
Added: November 10, 2012 | Visits: 437
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
Released: November 01, 2012
|
Added: November 01, 2012 | Visits: 245
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
Released: December 16, 2012
|
Added: December 16, 2012 | Visits: 799
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
Released: November 08, 2012
|
Added: November 08, 2012 | Visits: 309
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
Released: August 15, 2012
|
Added: August 15, 2012 | Visits: 353
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
Released: June 18, 2012
|
Added: June 18, 2012 | Visits: 251
A computational tool to discover location of promoter consensus sequences in bacterial genomes.
Platforms: Windows, Mac, Linux
Released: August 14, 2012
|
Added: August 14, 2012 | Visits: 384
PySolFC (PySol Fan Club edition) is an extended version of PySol (a solitaire card games collection).
Platforms: Windows, Mac, Linux
Released: October 10, 2012
|
Added: November 26, 2013 | Visits: 513
Spekulation is a tool to manage an investment club. It provides all necessary views and interactions for a club administration. Club members are able to retrieve information about the actual club situation: their shares, club share price, depot etc.
Platforms: Mac
Released: June 03, 2012
|
Added: June 03, 2012 | Visits: 356
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
Released: July 12, 2012
|
Added: July 12, 2012 | Visits: 365
Stud is a web based database for clubs to keep track of the bookings of items belonging to the club. It can send reminder mails when booking starts and ends.
Platforms: Windows, Mac, Linux
Released: August 10, 2012
|
Added: August 10, 2012 | Visits: 406
About Jin
An open source, cross platform, graphical client (interface) for the Internet Chess Club and the Free Internet Chess Server.Jin features a chess board with many piece sets and board patterns, chat capabilities, a sought games graph, flexible game logging, scripting capabilities and...
Platforms: Mac
Released: September 10, 2012
|
Added: September 10, 2012 | Visits: 336
Funbridge, your new bridge club on your mac.
Already over 35 000 players and more than 80 000 deals played per day !
Funbridge is a bridge card game. It lets you play some deals and rank among hundreds of players having played the
Platforms: Mac
Released: September 04, 2012
|
Added: September 04, 2012 | Visits: 408
Are you ready to enter a hidden object world unlike any you have seen? A world in which giant steamships rule the skies and Victorian architecture exists alongside awe-inspiring technology? If you are, then step through the looking glass and into the unus
Platforms: Mac
Windows Software
Albina Merfyn - I find this to be really easy to use. I can...
