Skip to content
@KASTEL-SCBS

KASTEL-SCBS

Popular repositories Loading

  1. PCM2Java4Key PCM2Java4Key Public

    Generate Java code to verify Palladio models using KeY

    Java 3

  2. Confidentiality4CBSE Confidentiality4CBSE Public

    Specify confidentiality during component-based software engineering

    Java 1

  3. PCM2Prolog PCM2Prolog Public

    Generate Prolog code for Palladio software architecture models

    Xtend 1

  4. PCM2Java PCM2Java Public

    Generate Java code for Palladio software architecture models

    Xtend 1 3

  5. Examples4SCBS Examples4SCBS Public

    Example projects for secure component-based software systems

    Java 1

  6. Ecore2Log Ecore2Log Public

    Generate code for logic programs from Ecore-based models

    Xtend

Repositories

Showing 10 of 14 repositories
  • Confidentiality4CBSE Public

    Specify confidentiality during component-based software engineering

    KASTEL-SCBS/Confidentiality4CBSE’s past year of commit activity
    Java 1 0 0 1 Updated Mar 5, 2024
  • AccessAnalysisResultComparator Public
    KASTEL-SCBS/AccessAnalysisResultComparator’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Sep 28, 2023
  • Examples4SCBS Public

    Example projects for secure component-based software systems

    KASTEL-SCBS/Examples4SCBS’s past year of commit activity
    Java 1 0 0 11 Updated Nov 16, 2022
  • haskalladio Public

    Haskell and Prolog Protoype Implementations of the Palladio Model Access Analysis

    KASTEL-SCBS/haskalladio’s past year of commit activity
    OpenEdge ABL 0 0 0 0 Updated Oct 31, 2022
  • PCM2Prolog Public

    Generate Prolog code for Palladio software architecture models

    KASTEL-SCBS/PCM2Prolog’s past year of commit activity
    Xtend 1 0 0 0 Updated Sep 22, 2022
  • Ecore2Log Public

    Generate code for logic programs from Ecore-based models

    KASTEL-SCBS/Ecore2Log’s past year of commit activity
    Xtend 0 0 0 0 Updated Sep 22, 2022
  • PCM2Solidity Public
    KASTEL-SCBS/PCM2Solidity’s past year of commit activity
    Java 0 0 0 0 Updated Jul 6, 2021
  • Demonstrator4IntegratedMethods4SbD Public
    KASTEL-SCBS/Demonstrator4IntegratedMethods4SbD’s past year of commit activity
    Java 0 0 0 0 Updated Oct 8, 2020
  • KastelEditor2PCM Public

    Generate Palladio Component Model (PCM) instances from the KASTEL goal model requirements editor

    KASTEL-SCBS/KastelEditor2PCM’s past year of commit activity
    Java 0 0 0 0 Updated Aug 17, 2020
  • PCM2Java4Joana Public
    KASTEL-SCBS/PCM2Java4Joana’s past year of commit activity
    Xtend 0 0 0 0 Updated Jun 18, 2020
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…