Select a tag to browse associated projects and drill deeper into the tag cloud.
Java Modeling Language (JML)
J
Analyzed about 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.
Licenses:
No declared licenses
Quality-Check
Analyzed about 1 year 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
Licenses:
apache_2
Modern Jass
M
Analyzed about 1 year 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.
Licenses:
No declared licenses