Giters
Informal and Formal Artifacts Linker (InFormALin) (InFormALin)

Informal and Formal Artifacts Linker (InFormALin)

InFormALin

Geek Repo

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

Home Page:https://ardoco.github.io/

Github PK Tool:Github PK Tool

Informal and Formal Artifacts Linker (InFormALin)'s repositories

Framework

The InFormALin Framework

Language:JavaLicense:MITStargazers:2Issues:1Issues:1

actions

Reusable Actions for building Projects

License:MITStargazers:0Issues:0Issues:0

informalin.github.io

Stargazers:0Issues:1Issues:0

knowledgebases

The base/root knowledge bases

Stargazers:0Issues:1Issues:0

maven-parent

The Parent for all Subprojects

License:MITStargazers:0Issues:1Issues:0

Ontology-Connector

A wrapper to access ontologies easily

Language:JavaLicense:MITStargazers:0Issues:1Issues:0

PCM2UML

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

License:EPL-2.0Stargazers:0Issues:0Issues:0

voice-speech2text

Language:PythonLicense:MITStargazers:0Issues:1Issues:0