kit-sdq Goto Github PK

ecore2owl

Tool to convert Ecore (Meta-)Models into OWL Ontologies.

ecore2txt

Generate any text / code from Ecore-based models

emf-profiles-sirius-editor

This project has been migrated to PalladioSimulator for further maintenance.

emfcompare-matcher-testsuite

esda

Energy State Data Analysis (ESDA)

fault-tree-analysis

featuremodel-editor

This repository provides a simple metamodel and editor for feature models. It can be used standalone but is mainly used to extend the Modular EMF Designer with feature models.

gluecodes-casestudy

This repository contains all files to analyze the confidentiality of the BWUniCluster based on architectural modeling.

intbiis-editor

Sirius-based editors for IntBIIS. (work in progress)

intelligrade

IntelliJ-Plugin for grading with the artemis project

jenkins-server-notification-plugin

Notification Plugin for Jenkins to notify Artemis about build results

jpb4wordvectors

Java-Python bridge for word vector learning model

kit-sdq.github.io

metamodel-reference-architecture-validation

This repository contains all metamodel, modular designer diagrams, the validation tool, as well as input and output data of the validation of the metamodel reference architecture. For the TSE paper this is a reconstruction of the state of the data that was used for the submission. For a more up-to-date verion and a propper version history visit the original repository: https://svnserver.informatik.kit.edu/i43/svn/palladio/misha.strittmatter/ResearchProjects/MetamodelReferenceStructure/

modular-reference-structure-editor

This editor features a high-level view of metamodels and their dependencies. Dependency cycles are detected and one can enforce a layering. The editor originated from research about a reference structure for metamodels that are used for quality modeling and analysis (with the layers paradigm, domain, quality and analysis). It is, however, also very usefull for metamodeling in general.

newslist

Not a Mailing List, but a News List

ontologyaccess

Simple Wrapper to access ontologies with convenience methods

prereqsec

Security Models

programming-lecture-artemis-score-stats

Statistical Analysis for Artemis Tasks for TAs

programming-lecture-eclipse-artemis

Eclipse-Plugin for grading with the artemis project

programming-lecture-eclipse-artemis.docs

Deployment repo for the documentation of programming-lecture-eclipse-artemis

programming-lecture-eclipse-artemis.p2

Replaced as no external dependencies in updatesites are needed for the plugin anymore

programming-lecture-eclipse-grading-importer

programming-lecture-logging-proxy

An annotation processor that generates proxy classes which log method calls and then delegate to the original implementation

rti_plugin

sacm-metamodel

Structured Assurance Case Metamodel

sdq-commons

SDQ-Commons

smart-grid-ict-resilience-framework

This part of the framework covers analyses of the ICT aspects of the Smart Grid. It is developed in the scope of the helmholtz project about the resilience of criticial infrastructures.

smart-grid-metamodels

Metamodels for Smart Grid IEC standards

smwmailer

Docker Image for SemanticMediaWiki Mailer