Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Java Modeling Language (JML)

Compare

  Analyzed over 1 year ago

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.

9.05M lines of code

3 current contributors

over 1 year since last commit

1 users on Open Hub

Activity Not Available
5.0
 
I Use This
Licenses: No declared licenses

Quality-Check

Compare

  Analyzed 18 days ago

The goal of Quality-Check is to provide a small Java library for basic runtime code quality checks. It provides similar features to org.springframework.util.Assert or com.google.common.base.Preconditions without the need to include big libraries or frameworks such as Spring or Guava. This package ... [More] tries to replace these classes and provide all the basic code quality checks you need. The checks provided here are typically used to validate method parameters and detect errors during runtime. To detect errors before runtime we use JSR-305 Annotations. With these annotations you are able to detect possible bugs earlier. For more informations look at FindBugs™ JSR-305 support. [Less]

19K lines of code

0 current contributors

about 2 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This

xamber

Compare

  No analysis available

Amber is a scripting language inspired by (amongst others) Eiffel and Ruby. It has a concise syntax that's easy to read and maintain. Amber supports Contract Driven Design (CoDD) for software development, and Contract Hardening (CoHa) for robustness.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: MIT

Modern Jass

Compare

  Analyzed 18 days ago

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.

13.3K lines of code

0 current contributors

about 8 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

agreejs

Compare

  Analyzed 15 days ago

Introspectable Contracts Programming for JavaScript/CoffeeScript

1.12K lines of code

1 current contributors

11 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This