Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
-
Updated
Sep 9, 2021
Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
Cedarbridge message protocol specification language
The Demo Workbench is a MPS implementation of the Design & Engineering Methodology for Organizations. It is a Workbench for creating DEMO models.
DeBrug is een Wets Simulatie Workbench die de brug vormt tussen de wet- en regelgeving en de dienstverlening.
Logic programming language used for controlled, incremental modelling of complex systems, motivated by its application to federated data exchange.
We're looking at building a query language for a REST API using Spring Data JPA and Querydsl
MPS Project with the Amazons States Language
online exam and justice project
A toy specification language designed for my high school's senior capstone project.
Fast and Automatic Formatting of Context-Free Languages
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
SDL process specification and simulation in Go (golang)
High-Level Property Specification Language
The Air programming language is carefully designed to solve programming problems once and for all.
A Universal Modeling Language for Metabolic Flux Analysis
The Air programming language is carefully designed to solve programming problems once and for all.
Spek Behavior-Driven-Development extensions
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
The Hoa\Praspel library.
Add a description, image, and links to the specification-language topic page so that developers can more easily learn about it.
To associate your repository with the specification-language topic, visit your repo's landing page and select "manage topics."