Download JAR files tagged by supra 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
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
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!
promises from group com.surelogic (version 5.0.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 com.surelogic
Version 5.0.0
Last update 01. November 2013
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 com.surelogic
Version 5.0.0
Last update 01. November 2013
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 2)