All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by analysis with all dependencies

Search JAR files by class name

prettyprinter from group org.overturetool.core.prettyprinting (version 3.0.2)

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

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

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

Group: org.overturetool.core Artifact: prettyprinting
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact prettyprinting
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!

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

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

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

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

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

1 downloads
Artifact parser
Group org.overturetool.core
Version 3.0.2
Last update 10. November 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies ast, testframework,
There are maybe transitive 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!

ci-springboot-parent-pom from group de.davelee (version 2.3.0)

This is a Maven Parent POM for Continuous Integration using Java with Spring Boot. It includes the standard Spring Boot Starter as Parent POM as well as the Spring Boot Test Starter POM as dependency. In addition, an analysis profile can be called which runs Surefire for JUnit Tests, measures Code Coverage using JaCoCo (version 2.x and higher) or Cobertura (version 1.1.x), generates Documentation using JavaDoc and measures Code Quality using PMD, FindBugs (version 1.1.x only) and Checkstyle.

Group: de.davelee Artifact: ci-springboot-parent-pom
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact ci-springboot-parent-pom
Group de.davelee
Version 2.3.0
Last update 09. September 2020
Organization not specified
URL https://www.davelee.de
License GNU General Public Licence
Dependencies amount 1
Dependencies spring-boot-starter-web,
There are maybe transitive dependencies!



Page 173 from 193 (items total 1922)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy