Download promises JAR file with all dependencies
promises from group com.surelogic (version 4.0.3)
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 com.surelogic
Version 4.0.3
Last update 13. April 2012
Tags: limited typically scope programmer constrains constraint express supra targets programs promise provides linguistic code meaning intent evolution models that formal implementation promises modular necessary java each annotations also precise design
Organization Surelogic, Inc.
URL http://surelogic.com
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group com.surelogic
Version 4.0.3
Last update 13. April 2012
Tags: limited typically scope programmer constrains constraint express supra targets programs promise provides linguistic code meaning intent evolution models that formal implementation promises modular necessary java each annotations also precise design
Organization Surelogic, Inc.
URL http://surelogic.com
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)