MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Build Securely on AWS with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
EMF Modeling Operations is an EMF based tool for specifying and executing composite modeling operations such as refactorings for every Ecore based modeling language. A new specification is created by demonstrating the composite operation once.
MIDE is an IDE for working with UML Class Diagram model. It extends the Eclipse UML2 Editor and provides *carrying out complex tasks in one click *query gui engine * and a pattern-matching engine for detecting design errors as soon as they are made
In Systems Biology models are created in various formats (Matlab, Java, C/C++, Python, ...). "Annotate Your Model" will help you to link your model to biological web resources by creating a CSV file containing MIRIAM annotations.
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
SeaMonster is a security modeling tool for threat models. It supports notations that security experts and analyzers are already familiar with, namely attack trees and misuse cases, and can connect to a repository for model sharing and reuse.
"yes to nosql" is an eclipse tool for easy usage of several nosql databases in an osgi container based on the Eclipse Modeling Framework (XText, Xpand, ...)
Landlords, multi-family homes, manufactured home communities, single family homes, associations, commercial properties and mixed portfolios.
Rent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
red-open uses redview, open-erp-ware and ekkes-corner projects. the goal is to make it all work together as a "Software Manufactur": Model-Driven generation of ERP Business Apps with dynamic rendered Views.
The Visio-EMF Bridge offers the transformation of Visio stencils and Visio models into EMF metamodels and EMF models, respectively. The bridge enables the processing of Visio models with EMF tools, such as, openArchitectureWare or Eclipse Epsilon.
An ecosystem for model-driven engineering on the JavaEE platform.
The vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework.
For more information visit: http://www.openmde.org.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
MOCASEngine is a java UML state machine engine library for executing embedded UML state machine models. MOCASEngine works with Eclipse EMF. It has a full support of composite/orthogonal states, completion transitions, guard, hierarchy of signals, ...
The project is built with oaW (openArchitectureWare) maybe the most popular framework of MDSD now days. It provide a small DSL for modeling and can be extended (the code generated) through a cartridge mechanism. Give it a chance :) , feedback are welcome
The Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.
Mantikhor is an *information representation* language. Like RDF, it models information as directed-edge arc-node graphs, although Mantikhor's use of such constructs is more structured and constrained.