All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of promises JAR files with all dependencies

Search JAR files by class name

promises from group org.bidib.com.surelogic (version 5.6.0)

Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope.

Group: org.bidib.com.surelogic Artifact: promises
Show documentation Show source 
 

24 downloads
Artifact promises
Group org.bidib.com.surelogic
Version 5.6.0
Last update 17. February 2017
Tags: limited typically scope programmer constrains constraint express supra targets programs promise provides linguistic code meaning intent evolution models that formal implementation promises modular java necessary each annotations also precise design
Organization Surelogic, Inc.
URL http://surelogic.com/promises
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy