Download org.overturetool JAR files with all dependencies
ide from group org.overturetool (version 3.0.2)
Super POM for all IDE (Eclipse) artifacts.
Group: org.overturetool Artifact: ide
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact ide
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!
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!
documentation from group org.overturetool (version 3.0.2)
Group: org.overturetool Artifact: documentation
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact documentation
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!
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!
core from group org.overturetool (version 3.0.2)
Group: org.overturetool Artifact: core
Show all versions
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!
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)
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!
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
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!
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!
examples from group org.overturetool (version 2.2.6)
Artifact examples
Group org.overturetool
Version 2.2.6
Last update 20. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.overturetool
Version 2.2.6
Last update 20. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 6)