Repositories list

• CouplingPatternbasedCodeAnalyses

  Public archive
  Java

  •

  Eclipse Public License 2.0

  •2•0•0•0•Updated Jan 23, 2025Jan 23, 2025

• CouplingPatternSearchBasedSourceCodeAnalyses

  Public
  Java

  •0•0•0•0•Updated Jan 5, 2025Jan 5, 2025

• Architecture-And-StaticCode-Analyses-CouplingFramework

  Public
  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated May 14, 2024May 14, 2024

• SpecificationTransfer

  Public
  Java

  •

  Eclipse Public License 2.0

  •1•0•0•0•Updated Dec 14, 2023Dec 14, 2023

• AccessAnalysis

  Public
  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Oct 16, 2023Oct 16, 2023

• SolidityAccessControlEnforcement

  Public
  Modeling and formally enforcing role-based access control policies for smart contracts

  smart-contractsformal-methodsrole-based-access-control+ 1model-driven-development

  Java

  •

  Eclipse Public License 2.0

  •1•0•0•0•Updated Jul 12, 2023Jul 12, 2023

• PCM2Java4Joana

  Public
  Java

  •

  GNU General Public License v3.0

  •2•0•0•0•Updated Jun 16, 2023Jun 16, 2023

• SolidityCodeGenerator

  Public
  Code Generator for SolidityMetaModel

  Xtend

  •

  Eclipse Public License 2.0

  •0•1•0•0•Updated Nov 5, 2021Nov 5, 2021

• SolidityMetaModel

  Public
  Ecore-Model for Solidity Smart Contracts

  Java

  •

  Eclipse Public License 2.0

  •0•1•0•0•Updated Nov 5, 2021Nov 5, 2021