Skip to content
@InFormALin

Informal and Formal Artifacts Linker (InFormALin)

InFormALin was a framework for our research regarding tracelinks and inconsistency detection. The framework has been merged to ArDoCo: https://ardoco.github.io

Pinned Loading

  1. FrameworkFrameworkPublic archive

    The InFormALin Framework

    Java 1 1

  2. Ontology-ConnectorOntology-ConnectorPublic archive

    A wrapper to access ontologies easily

    Java

  3. PCM2UMLPCM2UMLPublic archive

    A simple project that helps you converting PCM Models to UML (Papyrus) Models

  4. actionsactionsPublic archive

    Forked from dfuchss/actions

    Reusable Actions for building Projects

Repositories

Showing 8 of 8 repositories

Top languages

Loading…

Most used topics

Loading…