ftsrg-edu / lecture-notes
Some lecture notes of the research group
☆14Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for lecture-notes
- Heterogeneous model indexing solution, based on NoSQL stores.☆17Updated 5 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆62Updated last year
- Ecore for JavaScript☆65Updated 6 years ago
- Xtext/Sirius Integration☆21Updated last year
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆68Updated 7 months ago
- Modelserver component☆43Updated last year
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆79Updated this week
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆407Updated this week
- Multi-backend EMF persistence framework.☆51Updated last month
- An Xtext DSL for EMF metamodels refactoring and migration☆12Updated 3 weeks ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- The Melange Language Workbench☆28Updated last year
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 11 months ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated last year
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated 7 months ago
- JSON Binding for Eclipse Modeling Framework☆80Updated 3 years ago
- MongoDB adapter for EMF☆9Updated 7 years ago
- An Example for an Xtext Language Server☆54Updated last year
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆42Updated 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…☆145Updated 3 months ago
- The mbeddr core. An extensible C☆225Updated this week
- ☆43Updated 9 months ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆167Updated 3 months ago
- ☆13Updated last month
- Tutorial: Building a language server for your DSL with Xtext☆28Updated last year
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- Marrying Search-based Optimization and Model Transformation Technology☆17Updated 5 years ago