Project Group: io.github.informalin.framework

InFormALin Configurator

io.github.informalin.framework : configuration

The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research Labs (46.23.01).

Last Version: 0.7.1

Release Date: Jun 3, 2022

Common Utilities

io.github.informalin.framework : common

The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research Labs (46.23.01).

Last Version: 0.7.1

Release Date: Jun 3, 2022

Model Connections

io.github.informalin.framework : models

The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research Labs (46.23.01).

Last Version: 0.7.1

Release Date: Jun 3, 2022

Docker Handling in InFormALin

io.github.informalin.framework : docker

The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research Labs (46.23.01).

Last Version: 0.7.1

Release Date: Jun 3, 2022

Pipeline

io.github.informalin.framework : pipeline

The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research Labs (46.23.01).

Last Version: 0.7.1

Release Date: Jun 3, 2022

InFormALin Framework

io.github.informalin.framework : parent

The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research Labs (46.23.01).

Last Version: 0.7.1

Release Date: Jun 3, 2022