Important Links
Palladio Software Architecture Simulator
KIT Center Information ˑ Systems ˑ Technologies
Since 1 January 2021, the chair for Software Design and Quality is part of the KASTEL institute as the Dependability of Software-intensive Systems group. Please visit our new homepage at https://dsis.kastel.kit.edu.
Project | Description |
---|---|
RoSI CROM | Generator for the Family of Metamodels for Role-based Modeling and Programming Languages. (more) |
formalCROM | The first reference implementation of the formal CROM. (more) |
ScalaFormalCROM | The second reference implementation of the formal CROM featuring generic types for all entity kinds. (more) |
CROM | The Compartment Role Object Metamodel (CROM) is a comprehensive model for role-based modeling and programming languages. (more) |
FRaMED | FRaMED is the First Role Modeling EDitor allowing the graphical specification of Role-based Software Systems by means of compartments (aka. contexts), objects, roles, and relationships. (more) |
FRaMED 2.0 | Reimplementation of FRaMED as a modular feature-oriented Graphical Editor Product Line. (more) |
Edit Policy DSL | A DSL for the simple creation of editpolicy models for the FRaMED 2.0 graphical editor. (more) |
FRaMED.io | Web-based reimplimentation of the FRaMED 2.0 editor for the family of role-based modeling languages. (more) |
TRoML | The Textual Role Modeling Language (TRoML) is a simple textual modeling language to create instances of the CROM metamodel. (more) |
bibfilter | Is a lightweight commandline tool to filter bibtex files. It was tailored to work together with gsresearch. (more) |
gsresearch | Is a collection of proof of concept tools that allows for automatically grabs bibtex entries from Google Scholar. (more) |
panruby | A lightweight ruby front-end for pandoc that allows the usage of ERB-style templates within mutlimarkdown files. (more) |
Search | Is a Java based framework for problem solving through searching. (more) |