Download JAR files tagged by models with all dependencies

testframework from group org.overturetool.core (version 3.0.2)

Group: org.overturetool.core Artifact: testframework
Show all versions Show documentation Show source

0 downloads

Artifact testframework
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!

ast from group org.overturetool.core (version 3.0.2)

Group: org.overturetool.core Artifact: ast
Show all versions Show documentation Show source

1 downloads

Artifact ast
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

core from group org.overturetool (version 3.0.2)

Group: org.overturetool Artifact: core
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact core
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

externals from group org.overturetool (version 3.0.2)

Group: org.overturetool Artifact: externals
Show all versions

0 downloads

Artifact externals
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

root from group org.overturetool (version 3.0.2)

Overture is a community-based project developing the next generation of open-source tools to support modelling and analysis in the design of computer-based systems. Overture supports VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research. Overture is an integrated development environment (IDE) for developing VDM models. The Overture tools are written entirely in Java and build on top of the Eclipse platform. Overture supports the VDM-SL, VDM++, and VDM-RT language dialects.

Group: org.overturetool Artifact: root
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact root
Group org.overturetool
Version 3.0.2
Last update 10. November 2020
Organization Overture
URL Not specified
License GNU General Public License (GPL) version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

spring from group com.tobedevoured.modelcitizen (version 0.8.3)

Model Citizen is an annotation based model factory for Java. A Model is mapped by a Blueprint using annotated fields. Blueprints contain default values and references to other blueprinted models. The ModelFactory can create Models based on registered Blueprints. A Model already created can be passed into the ModelFactory as a Reference Model, which will be used as the basis for the new Model.

Group: com.tobedevoured.modelcitizen Artifact: spring
Show all versions Show documentation Show source

0 downloads

Artifact spring
Group com.tobedevoured.modelcitizen
Version 0.8.3
Last update 11. February 2020
Organization not specified
URL https://github.com/mguymon/model-citizen
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies core, spring-context,
There are maybe transitive dependencies!

core from group com.tobedevoured.modelcitizen (version 0.8.3)

Group: com.tobedevoured.modelcitizen Artifact: core
Show all versions Show documentation Show source

0 downloads

Artifact core
Group com.tobedevoured.modelcitizen
Version 0.8.3
Last update 11. February 2020
Organization not specified
URL https://github.com/mguymon/model-citizen
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies metapossum-scanner,
There are maybe transitive dependencies!

parent from group com.tobedevoured.modelcitizen (version 0.8.3)

Group: com.tobedevoured.modelcitizen Artifact: parent
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact parent
Group com.tobedevoured.modelcitizen
Version 0.8.3
Last update 11. February 2020
Organization not specified
URL https://github.com/mguymon/model-citizen
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies commons-lang, commons-beanutils, slf4j-api,
There are maybe transitive dependencies!

yami-tool from group be.unamur.info (version 1.1.0)

Usage models (Discrete Time Markov Chain (DTMC)) represents the usage scenarios of the software as well as their probability. This allows one to determine the relative importance of execution scenarios (with respect to other). This project explores the possibility to reverse engineer usage models based on execution traces contained in application logs.

Group: be.unamur.info Artifact: yami-tool
Show all versions Show documentation Show source

0 downloads

Artifact yami-tool
Group be.unamur.info
Version 1.1.0
Last update 02. November 2018
Organization University of Namur
URL https://github.com/xdevroey/yami
License Apache License 2.0
Dependencies amount 6
Dependencies vibes-dsl, guava, gson, named-regexp, log4j-slf4j-impl, slf4j-api,
There are maybe transitive 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.

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
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 192 from 202 (items total 2015)