Implementation of TRAK enterprise architecture framework as UML profil
A cross-platform integrated CASE system
Jupyter notebooks that demonstrate how to build models using SageMaker
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
Petri net framework for security related modeling and reasoning.
Simulador de Redes de Petri Interpretadas para Controle
Repository for dependencies between software design artefacts
Generator for textual models by applying different techniques