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>