The Proof Obligation Generator

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.

Лицензия	Лицензия GNU General Public License (GPL) version 3
Группа	Группа org.overturetool.core
Идентификатор	Идентификатор pog
Последняя версия	Последняя версия 3.0.2
Дата	Дата 10 нояб. 2020 г.
Тип	Тип jar
Описание	Описание The Proof Obligation Generator 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.
Организация-разработчик	Организация-разработчик Overture

Скачать pog

Имя Файла	Размер
pog-3.0.2.pom
pog-3.0.2.jar	274 KB
pog-3.0.2-sources.jar	158 KB
pog-3.0.2-javadoc.jar	581 KB
Обзор

Как подключить последнюю версию

Apache Maven

<!-- https://jarcasting.com/artifacts/org.overturetool.core/pog/ -->
<dependency>
    <groupId>org.overturetool.core</groupId>
    <artifactId>pog</artifactId>
    <version>3.0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.overturetool.core/pog/
implementation 'org.overturetool.core:pog:3.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.overturetool.core/pog/
implementation ("org.overturetool.core:pog:3.0.2")

Apache Buildr

'org.overturetool.core:pog:jar:3.0.2'

Apache Ivy

<dependency org="org.overturetool.core" name="pog" rev="3.0.2">
  <artifact name="pog" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.overturetool.core', module='pog', version='3.0.2')
)

Scala SBT

libraryDependencies += "org.overturetool.core" % "pog" % "3.0.2"

Leiningen

[org.overturetool.core/pog "3.0.2"]

Зависимости

compile (8)

Идентификатор библиотеки	Тип	Версия
com.google.code.gson : gson	jar	2.2.4
org.overturetool.core : ast	jar	3.0.2
org.overturetool.core : parser	jar	3.0.2
org.overturetool.core : typechecker	jar	3.0.2
org.overturetool.core.prettyprinting : prettyprinter	jar	3.0.2
junit : junit	jar	4.11
commons-io : commons-io	jar	2.4
org.apache.commons : commons-collections4	jar	4.1

test (1)

Идентификатор библиотеки	Тип	Версия
org.overturetool.core.testing » framework	jar	3.0.2

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
3.0.2 10 нояб. 2020 г.
3.0.0 28 авг. 2020 г.
2.7.4 16 мар. 2020 г.
2.7.2 30 сент. 2019 г.
2.7.0 3 июн. 2019 г.
2.6.4 29 окт. 2018 г.
2.6.2 18 мая 2018 г.
2.6.0 16 февр. 2018 г.
2.5.6 11 дек. 2017 г.
2.5.4 10 нояб. 2017 г.
2.5.2 11 сент. 2017 г.
2.5.0 10 авг. 2017 г.
2.4.8 5 июн. 2017 г.
2.4.6 3 мар. 2017 г.
2.4.4 2 дек. 2016 г.
2.4.2 6 окт. 2016 г.
2.4.0 29 авг. 2016 г.
2.3.8 4 июл. 2016 г.
2.3.6 22 мая 2016 г.
2.3.4 16 мар. 2016 г.
2.3.2 2 мар. 2016 г.
2.3.0 7 окт. 2015 г.
2.2.8 7 окт. 2015 г.
2.2.6 20 июн. 2015 г.
2.2.2 26 февр. 2015 г.
2.2.0 11 февр. 2015 г.
2.1.6 16 янв. 2015 г.
2.1.4 19 нояб. 2014 г.
2.1.2 9 окт. 2014 г.
2.1.0 12 июн. 2014 г.
2.0.8 20 мая 2014 г.
2.0.6 1 апр. 2014 г.
2.0.4 10 мар. 2014 г.

The Proof Obligation Generator

Лицензия

Группа

Идентификатор

Последняя версия

Дата

Тип

Описание

Организация-разработчик