Download all versions of promises JAR files with all 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
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/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
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/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 4.4.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 4.4.0
Last update 11. December 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/promises
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group com.surelogic
Version 4.4.0
Last update 11. December 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/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 4.3.1)
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.3.1
Last update 02. July 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.3.1
Last update 02. July 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!
promises from group com.surelogic (version 4.3.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 4.3.0
Last update 06. June 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.3.0
Last update 06. June 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!
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!
promises from group com.surelogic (version 4.0.2)
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.2
Last update 14. September 2011
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.2
Last update 14. September 2011
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!
promises from group com.surelogic (version 4.0.1)
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.1
Last update 30. August 2011
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.1
Last update 30. August 2011
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!
promises from group com.surelogic (version 4.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 4.0.0
Last update 09. August 2011
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.0
Last update 09. August 2011
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!
promises from group com.surelogic (version 3.2.2)
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 3.2.2
Last update 10. January 2011
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 3.2.2
Last update 10. January 2011
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!
promises from group com.surelogic (version 3.2.1)
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 3.2.1
Last update 11. May 2010
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 3.2.1
Last update 11. May 2010
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 2 (items total 12)