useocl / useLinks
Home of the UML-based Specification Environment (USE)
☆68Updated last month
Alternatives and similar repositories for use
Users that are interested in use are comparing it to the libraries listed below
Sorting:
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆23Updated 3 weeks ago
- The Melange Language Workbench☆29Updated 2 years ago
- ☆73Updated last year
- KeY Theorem Prover for Deductive Java Verification☆67Updated this week
- An extensible framework for feature-oriented software development☆138Updated last month
- A reasoning system for large knowledge bases.☆33Updated 11 months ago
- A curated list of awesome model-driven engineering resources.☆21Updated last year
- Refinery: an efficient graph solver for generating well-formed models☆17Updated this week
- Toolkit for grammars☆95Updated last week
- BlueJ and Greenfoot☆124Updated this week
- ProLeap ANTLR4-based parser for COBOL☆181Updated last year
- This repository hosts all the projects used in the MDSE Book☆15Updated 6 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated last week
- TurnKey artifact for Z3☆42Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated last week
- Static analysis framework for C☆225Updated this week
- C Intermediate Language☆156Updated this week
- Pluggable type-checking for Java☆25Updated 2 weeks ago
- ☆41Updated this week
- The Heterogeneous Tool Set☆59Updated 2 months ago
- A clone of the sourceforge GnuCOBOL compiler from COBOL to C.☆45Updated this week
- xtext-core☆116Updated 2 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆66Updated this week
- A Python-based low-modeling low-code platform for smart and AI-enhanced software☆133Updated this week
- Compiler☆14Updated last year
- Tool implementing Property Probes☆22Updated 3 weeks ago
- Language based on Rewriting Logic☆152Updated this week