Download all versions of promises JAR files with all dependencies
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.
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!
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)