coreasm-ui-carma
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>de.athalis.coreasm</groupId>
<artifactId>coreasm-ui-carma</artifactId>
<version>1.7.3-locke-7</version>
</dependency><?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<modelVersion>4.0.0</modelVersion>
<groupId>de.athalis.coreasm</groupId>
<artifactId>coreasm-ui-carma</artifactId>
<version>1.7.3-locke-7</version>
<name>CoreASM Carma</name>
<description>This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language,
in combination with a supporting tool environment for high-level design, experimental validation and formal
verification (where appropriate) of abstract system models.</description>
<url>https://github.com/Locke/coreasm.core/coreasm-ui-carma</url>
<licenses>
<license>
<name>Academic Free License 3.0</name>
<url>https://opensource.org/licenses/afl-3.0.php</url>
<comments>The CoreASM project is licensed under the Academic Free License version 3.0.
This includes:
-CoreASM Engine (also read JParsec-license.txt)
-Standard plugins of the engine
-Carma (command line driver of the engine)
-CoreASM Eclipse Plugin
A copy of this license can be found here: https://www.opensource.org/licenses/afl-3.0.php</comments>
</license>
</licenses>
<developers>
<developer>
<name>Roozbeh Farahbod</name>
<url>http://roozbeh.ca</url>
</developer>
<developer>
<name>Vincenzo Gervasi</name>
<url>http://circe.di.unipi.it/~gervasi/main/</url>
</developer>
<developer>
<name>Piper Jackson</name>
</developer>
<developer>
<name>George Ma</name>
</developer>
<developer>
<name>Mashaal Memon</name>
</developer>
<developer>
<name>Marcel Dausend</name>
<url>http://www.uni-ulm.de/en/in/pm/staff/dausend.html</url>
</developer>
<developer>
<name>Markus Müller</name>
</developer>
<developer>
<name>Michael Stegmaier</name>
</developer>
<developer>
<id>locke</id>
<name>André Wolski</name>
<email>andre.wolski@stud.tu-darmstadt.de</email>
<url>https://athalis.de</url>
</developer>
</developers>
<scm>
<connection>scm:git:git://github.com/Locke/coreasm.core.git/coreasm-ui-carma</connection>
<developerConnection>scm:git:git@github.com:Locke/coreasm.core.git/coreasm-ui-carma</developerConnection>
<url>https://github.com/Locke/coreasm.core/coreasm-ui-carma</url>
</scm>
<dependencies>
<dependency>
<groupId>org.slf4j</groupId>
<artifactId>slf4j-api</artifactId>
<version>2.0.17</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>ch.qos.logback</groupId>
<artifactId>logback-classic</artifactId>
<version>1.3.15</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>com.martiansoftware</groupId>
<artifactId>jsap</artifactId>
<version>2.1</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.athalis.coreasm</groupId>
<artifactId>coreasm-util</artifactId>
<version>1.7.3-locke-7</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>de.athalis.coreasm</groupId>
<artifactId>coreasm-engine</artifactId>
<version>1.7.3-locke-7</version>
<scope>compile</scope>
</dependency>
</dependencies>
</project>