Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
-
Updated
Apr 12, 2022 - Java
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
Extension of the Distributed OSHW Framework (DOF) for modeling CubeSats
Alloy analyser running in gitpod.io
📽 Engine for the Slopest route modeling language
API for developing SysML models in the Java programming language - for more precise MBSE
Using SQL, import, query, construct, and catalogue a company’s employee database to evaluate and resolve workforce turnover
Example SysMLinJava models
Aplicando a Modelagem de Sistemas com PHP, seguindo o Diagrama de Classes e Objetos
Sparse, constrained switching times optimization
UMLet ISTAR-palette for goal oriented requirements engineering (GORE)
a formal modeling tool that helps build reliable models and codes
Hyperledger fabric multi-party finance network PoC
This repo contains my files for competing in the Driven Data Competition Pump It Up: Data Mining the Water Table. I went through several different models to classify wells as functioning, not function, or functioning needs repair. I had the most success using the Random Forest classifier while using GridSearch to tune the parameters for the best…
UiaML specification, a visual language to model sitemaps and page blueprints
This is an official pytorch implementation for the experiments described in the paper - "How much complexity does an RNN architecture need to learn syntax-sensitive dependencies?", Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop
A generic bounded model checker.
Domain-driven Microservice Modeling (outdated). Find us here now: https://github.com/SeelabFhdo/lemma.
Add a description, image, and links to the modeling-language topic page so that developers can more easily learn about it.
To associate your repository with the modeling-language topic, visit your repo's landing page and select "manage topics."